Random Haskell stuff
-- solve da reeman hypotenuse zeros :: String -> Bool zeros x = True || False zeros "is da reeman hypotenuse troo"
id x . x
id 1
cat x y = x ++ y
-- Type level Peano {-# LANGUAGE GADTs #-} data Peano where Z :: Peano S :: Peano -> Peano