Export bind_fun and unit_fun types in em_monad