ose'' s rs s

data EpsilonNFA a b = EpsilonNFA {
                _fstState :: D.State a
  
eclose :: (Eq a) => [D.State a] -> [Rule a b] -> [D.State a]
eclose s rs = eclose'' s rs s
eclose s rs = eclose'' s rs s