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