fst-0.9.0.1: Finite state transducers
FST.EpsilonFreeT
epsilonfree :: Eq a => Transducer a -> Transducer aSource