5 | | | + pure (@) ((@) (.) ((@) (.) ((@) ((@) flip ($)) ((@) const id)))) ((@) ((@) (.) ((@) (.) (.))) ((@) ((@) (.) ((@) (.) (.))) ((@) ((@) (.) ((@) (.) ((@) const id))) ((@) const id))))
9 | | | | + pure (@) const id
13 | | | | | + pure (@) const id
22 | | + pure (@) const id
26 | | | + pure (@) const id