[leshow]

It looks like this is really asking for DataKinds or something similar. Since it's required to lift the enum variant to the type level.