removed unnecessary parameter in generic derivations.

spartanz / schemaz

A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs, binary codecs, and migration from this schema definition

https://spartanz.github.io/schemaz

Apache License 2.0

164 stars 18 forks source link

removed unnecessary parameter in generic derivations. #56

Closed GrafBlutwurst closed 5 years ago

GrafBlutwurst commented 5 years ago

Cleaned up the generic derivations. Turns out they don't need to be passed a one because we have pure/conquer from Alt/Decidable available. However I'm not quite sure if my instances are lawful

vil1 commented 5 years ago

LGTM.

Instances laws can be addressed in another PR.