TIMEOUT
MAYBE
Trs:
 {.(.(x, y), z) -> .(x, .(y, z))}
 Open