Re: [Haskell-cafe] Infrastructure for testing the impact of a Functor/Applicative/Monad hierarchy