add mtl instances for MonadSAT