Agda.TypeChecking.Polarity
class HasPolarity a