take <*> X ; :: thesis: <*> X is with_the_same_arity
thus <*> X is with_the_same_arity ; :: thesis: verum