module depfunctionset where 

postulate A : Set
postulate B : A -> Set
postulate b : (a : A) -> B a 


f : (x : A) -> B x
f = \(x : A) -> b x


g : (x : A) -> B x
g = \x -> b x

h : (x : A) -> B x
h x = b x


k : (x y : A) -> B x
k = ?