postulate A:: Set

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

g (a,b:: A)
  :: A
  = a

Test :: A->A -> A
     = {!g !}