let (<?) x t pos =
  CInstance (pos, x, t)