<*> + <*> | + <*> | | + pure (\x0 -> (\x1 -> x0)) | | ` pure (\x0 -> x0) | ` <*> | + <*> | | + def name_3 | | | ` <*> | | | + pure (\x0 -> (\x1 -> x0)) | | | ` pure (\x0 -> x0) | | ` def name_5 | | ` <*> | | + <*> | | | + def name_6 | | | | ` <*> | | | | + pure (\x0 -> (\x1 -> x0)) | | | | ` pure (\x0 -> x0) | | | ` def name_7 | | | ` <*> | | | + <*> | | | | + <*> | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | ` pure (\x0 -> x0) | | | | ` rec name_5 | | | ` rec name_7 | | ` rec name_5 | ` def name_1 | ` pure () ` <*> + <*> | + ref name_3 | ` def name_2 | ` <*> | + <*> | | + ref name_6 | | ` def name_4 | | ` <*> | | + <*> | | | + <*> | | | | + pure (\x0 -> (\x1 -> x0)) | | | | ` pure (\x0 -> x0) | | | ` rec name_2 | | ` rec name_4 | ` rec name_2 ` ref name_1