12 Aug
2015
12 Aug
'15
7:24 p.m.
Looks very nice. A bit large for my taste though. Anyway, it seems they can't order their units either. That's why (|+|) :: (d1 @~ d2, Num n) => Qu d1 l n -> Qu d2 l n -> Qu d1 l n and not (|+|) :: (Num n) => Qu d l n -> Qu d l n -> Qu d l n This will always be a bit annoying. You can almost never safely write Qu (Foo :* Bar) l n but will always have to write (d @~ (Foo :* Bar)) => Qu d l n in your types. Silvio