SAT now has a monad it is transforming
Simplify Lit