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