add 01_maybe_as_functor.hs