get rid of type class constraints in data constructors