Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- lawCompositionTraversable ::
- (Applicative f, Applicative t, Traversable t, Eq (f (t (t c)))) =>
- (b -> t c)
- -> (a -> f b)
- -> t a -> Bool
- lawCompositionTraversable f g =
- \x -> traverse (fmap f . g) x == (fmap (traverse f) . traverse g) x
Add Comment
Please, Sign In to add comment