Jannis
12/21/2019, 12:16 PM@higherkind interface Eq<A>
@higherkind interface Show<A> : Eq<A>
? With the current encoding this is not possible because we'd inherit from two Kinds Kind<ForEq, A>
and Kind<ForShow, A>
. This is quite useful when defining/deriving these instances (for example by using the Divisible
typeclass family)raulraja
12/21/2019, 1:27 PMJannis
12/21/2019, 2:21 PMKind3<ForSchedule,...>
the compiler prevents that. This leads to some typecasts and the necessity to provide generic types in a few placesraulraja
12/21/2019, 2:41 PM