Commits

Takayuki Muranushi committed ab61422

:| is safer (because of the dependent type annotation.)

:| should not depend on :*| .

Comments (0)

Files changed (1)

 type U a = '[ '(a, POne) ]
 
 -- | Shorthand to create a 'Value' type from just one base unit.
-type (x :| b) = (Convertible a b) => x :*| (U b) 
+type (x :| b) = (Convertible a b) => Value a (U b) x 
 
 -- | Shorthand to Create a 'Value' type from a compound unit.
 type (x :*| b) = (Convertible' a b) => Value a b x