There're some amazing tools that can generate implementations of functions in Haskell from their types that are usually meaningful and do what you expect them to do: Turns out chatGPT can do the same and does it much better: