Prettify GADT definition of DFA

Signed-off-by: Collin J. Doering <rekahsoft@gmail.com>