blob: b00c8650e6de0e587d3882eada07f4bc87068e7d (
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))))
|
