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