module NestedWhere where



function x = identity x
  where
    identity x = x