module Literals where str :: String str :: String str = "str literal" num :: Num a => a num :: a num = 0 a -> a -> a forall a. Num a => a -> a -> a + 1 a -> a -> a forall a. Num a => a -> a -> a + 1010011 a -> a -> a forall a. Num a => a -> a -> a * 41231 a -> a -> a forall a. Num a => a -> a -> a + 12131 frac :: Fractional a => a frac :: a frac = 42.0000001 list :: [[[[a]]]] list :: [[[[a]]]] list = [[], [[]], [[[]]]] pair :: ((), ((), (), ()), ()) pair :: ((), ((), (), ()), ()) pair = ((), ((), (), ()), ())