module exampleLetExpression2 where

postulate A : Set

f       : ((A -> A) -> A) -> A
f a-a-a = let 
            a-a : A -> A
            a-a =  \a -> a 
          in a-a-a a-a