I'm not too familiar with the nomenclature, but I'...

# arrow

[streetsofboston]

I'm not too familiar with the nomenclature, but I'd use Option if you use monadic types that you defer instantiating (eg your functions use Kind<F, A>)