vartps :: ULT -> TCtx
vartps t =
  let (_,t') = unlambdas t in
  let (_,_,g,_) = synth t' in
  g
vartps :: ULT -> TCtx
vartps t =
  let (_,t') = unlambdas t in
  let (_,_,g,_) = synth t' in
  g
vartps t =
  let (_,t') = unlambdas t in
  let (_,_,g,_) = synth t' in
  g