try
` <*>
  + <*>
  | + <*>
  | | + pure (\u1 -> (\u2 -> (\u3 -> 'a' : ('b' : ('c' : Term)))))
  | | ` def <hidden>
  | |   ` satisfy
  | ` ref <hidden>
  ` ref <hidden>