WIP GADT

wip