Taneb / groups

Group and Abelian group typeclasses

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Use base-orphans to have fewer conditional instances?

Ericson2314 opened this issue · comments

I am doing that in https://github.com/reflex-frp/patch/pull/24/files to make the :*: and :.: instance unconditional. Might it be worth it here? (Real question, I cannot decide if base-orphans type stuff is worth it for either package.)