<*> + <*> | + pure (\u1 -> (\u2 -> u1 : u2 Term)) | ` def name_416 | ` try | ` <*> | + <*> | | + <*> | | | + <*> | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'a' : ('b' : ('c' : ('d' : Term))))))) | | | | ` satisfy | | | ` satisfy | | ` satisfy | ` satisfy ` def name_415 ` <|> + <*> | + <*> | | + pure (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3))) | | ` ref name_416 | ` rec name_415 ` pure (\u1 -> u1)