Data.Functor.Invariant

class Invariant f

class Invariant2 f