Report question

Question: How to compose `not` with a function of arbitrary arity?