Type inference

Use ghci to infer the type of the user's expression, then make the type
more concrete so that the typeclass instances can be found.
Fix the examples to use a fixed Functor

with fmap instead of map, most of the examples were causing an ambiguous
type to be inferred.