NCGMonad
data NatM_State
data NatM result