switch to gadt syntax for Dynamic
tagless experiment