Here you write inpure2 in context of `F`. And at c...
# arrow
s
Here you write inpure2 in context of
F
. And at call site you decide what the context is
Try
or any other data type like
Either
or
IO