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