Int :: *
Maybe :: * -> *
F [[[Int]]] :: *
F [[[Int]]] :: *
= [[Int]] -> [Int] -> Int -> Bool
F (Maybe Int) :: *
= Char
F (Maybe Bool) :: *
= Char
forall a. F (Maybe a) :: *
= Char