types101.ex

# From http://learnyouahaskell.com/types-and-typeclasses

@ann map :: ([A], (A -> B) -> [B])

@ann remove_non_uppercase :: [Char] -> [Char]

@ann add_three :: Int, Int, Int -> Int

@ann factorial :: Int -> Int

@ann circumference :: Float -> Float

@ann head :: [A] -> A

types102.ex

@alias String :: [Char]

@alias PhoneBook :: [{String, String}]

@alias PhoneNumber :: String  
@alias Name :: String  
@alias PhoneBook :: [{Name, PhoneNumber}] 

@ann in_phonebook? :: Name, PhoneNumber, PhoneBook -> Bool

@union AnyInteger :: Integer | Long | BigInt | BigInteger | Short | Byte