Stop using GADTs + documentation