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