removed Open newtype and Monoid instance
simplified combinators a bit