postulate A:: Set

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

g' (a:: A)
  :: A
  = a

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