module NestedWhere where



function x = x
  where
    identity x = x