search

goldfirere / units

The home of the units Haskell package
94 stars 19 forks source link

Rejigger Num instance #35

Closed goldfirere closed 9 years ago

goldfirere commented 9 years ago

It might be better to have 

deriving instance (d ~ '[], Num d) => Num (Qu d l n)

or something similar to get better inference.

nushio3 commented 9 years ago

Sure! That would broaden the places where we can use Num operators without signagures.

Would that be

deriving instance (Normalize d ~ '[], Num d) => Num (Qu d l n)

?