ChatGPT - Contravariant Functors in Haskell