So to pipe with function `pure2` we need to lift i...
# arrow
s
So to pipe with function
pure2
we need to lift it into context of
F
.