Added a unidirectional pattern ‘Fn f’ for ‘Fun _ f’

Most of the uses of ‘Fun’ ignore the first argument