Remove monoids draft
Support lhs in bin/new
Draft: RE -> DAF in Haskell