Misaligned invariant in ParameterisedAsGraded ?

[jmatsushita]

The paper states:

We use the Inv constraint family to force the target type of the left morphism to match the source type of the right morphism.

So shouldn't the Inv type read:

type Inv T (M a b) (M c d) = b ~ c