Moje obecne podejście do definiowania funkcji arbitralnego arity znajduje się poniżej, gdzie A jest akumulatorem, E jest rodzajem argumentu wejściowego, a R jest typem wyniku. combine :: A -> E -> A
Dzisiaj grałem z wykorzystaniem klas typów do indukcyjnego konstruowania funkcji predykatu dowolnej arii, przyjmując jako dane wejściowe dowolną kombinację dowolnych typów, które zwróciły inne predyka