blob: ca04690b698f929e5a3b8e3cd436c891a244cb2a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
fmap = (_t1::forall (f :: * -> *) a b.
Functor f =>
(a -> b) -> f a -> f b)
fmap
:: forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
_t1
:: forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
show = (_t2::forall a. Show a => a -> String)
show :: forall a. Show a => a -> String
_t2 :: forall a. Show a => a -> String
"\"foo\""
["7","42"]
_t1 = (_t3::forall (f :: * -> *) a b.
Functor f =>
(a -> b) -> f a -> f b)
_t3
:: forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
_t2 = (_t4::forall a. Show a => a -> String)
_t4 :: forall a. Show a => a -> String
["7","42"]
id = (_t5::forall a. a -> a)
id :: forall a. a -> a
_t5 :: forall a. a -> a
print = (_t6::forall a. Show a => a -> IO ())
print :: forall a. Show a => a -> IO ()
_t6 :: forall a. Show a => a -> IO ()
|
