kleisli: Get rid of todo