Functors allow a uniform action over a parameterised type.
Apply a function across everything of type 'a' in a
parameterised type
An infix alias for map
, applying a function across everything of
type 'a' in a parameterised type
the parameterised type
the function to apply