blob: 6c03a221f50496c17d83dfbcbc7f6012c4f9c0fd (
plain)
1
2
3
4
5
6
7
8
|
fmap = (_t1::Functor f => (a -> b) -> f a -> f b)
fmap = (_t2::forall (f :: * -> *) a b.
Functor f =>
(a -> b) -> f a -> f b)
<*> = (_t3::forall (f :: * -> *) a b.
Applicative f =>
f (a -> b) -> f a -> f b)
<*> = (_t4::Applicative f => f (a -> b) -> f a -> f b)
|
