extern type even;

extern val frob : even -> [Root];
extern val tweak : even -> even;

extern type digits;

extern val splat : digits -> [Root];

frob (tweak 2);
splat "1234"