New type level function, heralding great things to come.
Cleaned up monad<parser>::map by using either's functor instance.