module exampleSampleDerivation2 where

postulate A : Set


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