F is polymorphic for any type that implements Mona...
# arrow
p
F is polymorphic for any type that implements MonadError, so could be Either, or IO, or Observable, for example