Re: [Haskell-cafe] Questions about the Functor class and it's use in "Data types à la carte"

keep in mind that Haskell "composition" (.) is not really composition in the category-theoretic sense, because it adds extra laziness. Use this

Do you have a counter-example of (.) not being function composition in the categorical sense?