Adding Monad Reify, Feldspar, and boolean