*Main> let x = 100 :: Int
*Main> let even = even :: Int -> Bool
*Main> :type x
x :: Int
*Main> :type even
even :: Int -> Bool
*Main> :type (even x)
(even x) :: Bool

*Main> let list = Cons x Nil
*Main> :type list
list :: List Int
*Main> :type fmap even list
fmap even list :: List Bool