module exampleShowModule where


postulate A : Set
postulate B : Set

f : B -> A
f x = {! !}