add SMT.Z3.Monad etc.