Should be able to build that on if it isnt there. But at runtime the type would need to be a sum type like variant.