MAYBE
MAYBE
TRS:
 {.(.(x, y), z) -> .(x, .(y, z))}
 Fail