Ghostbuster: a tool for simplifying and converting GADTs. - McDonell, Trevor L.; Zakian, Timothy A. K.; Cimini, Matteo; Newton, Ryan R. (2016)