module Haskell25 where

import DFA
import Haskell24

minimize :: (Eq st) => DFA st -> DFA String
minimize dfa = ...