(+) :: Num a => a -> a -> a
enumFromTo :: Enum a => a -> a -> [a]