Add more functions to work with maybes more easily
Make every Monad an instance of Applicative and every Applicative an instance of Functor. Remove tlc.pure in favor of tlc.unit.