Documentation

Functions of the type Any -> Maybe a can be turned into functions of
type Maybe (Any -> a). The empty type Any ensures that the function
is parametric in the input, and hence the Maybe monad can be pulled out.