Type is not enumerable when trying to pattern match on a reified type

[DavyLandman]

import Type;
data X = a() | b();
/label(_,_) := #X

prints:

|stdin:///|(15,2,<1,15>,<1,17>): type[X] is not enumerable
☞ Advice