> 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?