removed some old code from my GADTs experiment