Agda.TypeChecking.Polarity
getArity
computePolarity
sizePolarity
checkSizeIndex
(/\)
neg
composePol
class HasPolarity a
polarity