module Identity where identity x = x function x = identity x