blob: 6217619c9e93280c42ae8ad834d1cb64ca0e5797 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
Int :: *
Maybe :: * -> *
F [[[Int]]] :: *
F [[[Int]]] :: *
= [[Int]] -> [Int] -> Int -> Bool
F (Maybe Int) :: *
= Char
F (Maybe Bool) :: *
= Char
forall a. F (Maybe a) :: *
= Char
$(unboxedTupleT 2) :: forall (k0 :: RuntimeRep) (k1 :: RuntimeRep).
TYPE k0
-> TYPE k1
-> TYPE
(TupleRep
((:) @RuntimeRep k0 ((:) @RuntimeRep k1 ('[] @RuntimeRep))))
|
