module Nested where



function x = x
  where
    identity x = x