<*> + <*> | + pure cons | ` def name_47 | ` try | ` <*> | + <*> | | + pure cons | | ` <*> | | + <*> | | | + pure (\u1 -> (\u2 -> u1)) | | | ` pure 'a' | | ` satisfy | ` <*> | + <*> | | + pure cons | | ` <*> | | + <*> | | | + pure (\u1 -> (\u2 -> u1)) | | | ` pure 'b' | | ` satisfy | ` <*> | + <*> | | + pure cons | | ` <*> | | + <*> | | | + pure (\u1 -> (\u2 -> u1)) | | | ` pure 'c' | | ` satisfy | ` <*> | + <*> | | + pure cons | | ` <*> | | + <*> | | | + pure (\u1 -> (\u2 -> u1)) | | | ` pure 'd' | | ` satisfy | ` pure Term ` <*> + def name_46 | ` <|> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3)))) | | | ` <*> | | | + pure cons | | | ` ref name_47 | | ` rec name_46 | ` pure (\u1 -> u1) ` pure Term