reconsider F = {} as Function ;
take F ; :: thesis: ( F is uncurrying & F is currying & F is commuting )
thus ( F is uncurrying & F is currying & F is commuting ) ; :: thesis: verum