module exampleSimplederivation1 where 

postulate A : Set
postulate B : Set
postulate f : A -> B
postulate a : A
b : B
b = f a