let test =
  let id : a -> a
      id x = x
  in  id
 in test