Libby added a Monad and MonadSpec based off the Functor ones, and adding
in one for inserting a T into the TC context.