Test.QuickCheck.Property.Functor
prop_FunctorId
prop_FunctorCompose