<*> + <*> | + <*> | | + pure (\x0 -> (\x1 -> x0)) | | ` pure (\x0 -> x0) | ` def name_1 | ` pure () ` ref name_1