Data.Poly.Function

mkPolyHomoFunc1

mkPolyFunc1

mkPolyHomoFunc2

mkPolyHomoArgFunc2

class Equal a b

class Empty a