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