Natural Transformation Haskell