<*> + <*> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (u4 u5) u6)))))) | | | | | ` def name_5 | | | | | ` pure (\u1 -> (\u2 -> u2)) | | | | ` def name_2 | | | | ` <*> | | | | + <*> | | | | | + def name_1 | | | | | | ` pure (\u1 -> (\u2 -> u2)) | | | | | ` def name_7 | | | | | ` <*> | | | | | + <*> | | | | | | + pure (\u1 -> (\u2 -> u2)) | | | | | | ` rec name_2 | | | | | ` rec name_7 | | | | ` rec name_2 | | | ` def name_3 | | | ` pure unit | | ` ref name_5 | ` def name_6 | ` <*> | + <*> | | + ref name_1 | | ` def name_4 | | ` <*> | | + <*> | | | + pure (\u1 -> (\u2 -> u2)) | | | ` rec name_6 | | ` rec name_4 | ` rec name_6 ` ref name_3