Add Functor Monad and Applicative id instances