rename '->' type operator to 'fun'