Add a HipSpec Monad with an appropriate environment