Îõ³h$LA Safe-Inferred>À;always,A typeclass that is satisfied for all types.íThis is useful when you want to discriminate on the result of applying a type family whose result kind is 5, where the result is either meaningful (i.e. not ) or it is not.!always-0.1-Jij9boTrlzt9HIRGQtk2HeAlways Data.Kind Constraint $fAlwaysa