Make foldM INLINEABLE
Rewrite rules for lift x >>= f