raulraja
inline fun <reified F, D> monad(MF : Monad<F> = monad<F>()): Monad<KleisliFD<F, D>> = instances(MF)