Data.Logic.Classes.Arity

class Arity p