Modularize transform and monoid combinators and unit tests