`F` refers to a higher kind to which Kleisli is pa...

# functional

[raulraja]

F refers to a higher kind to which Kleisli is parametric, we reify it and pass it to a arg default value that delegates to a method