Commits

Aleksey Khudyakov  committed 5cdede3

Do not constraint b & c

  • Participants
  • Parent commits 72b7e5e

Comments (0)

Files changed (1)

File Test/QuickCheck/Property/Functor.hs

 prop_FunctorCompose :: Functor f => 
                        (a -> b) -- ^ f
                     -> (b -> c) -- ^ g
-                    -> T (f a, b, c)
+                    -> T (f a)
                     -> f a
                     -> Equal (f c)
 prop_FunctorCompose f g T x = (fmap g $ fmap f $ x) `Equal` (fmap (g . f) x)