in hxt-monad ArrowNF added