module Control.Monad.SMT.Class where