blob: e34b84a42ae9babc961e51dea6ed44c35f554b1a (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
Int :: *
Maybe :: * -> *
F [[[Int]]] :: *
F [[[Int]]] :: *
= [[Int]] -> [Int] -> Int -> Bool
F (Maybe Int) :: *
= Char
F (Maybe Bool) :: *
= Char
forall a. F (Maybe a) :: *
= Char
|