Enable embedding other monads inside the SMT monad