Removed GADTs, it was a 'bad practice'