module Identity where

identity x = x

function x = x