As much as I like Dhall, it needs unions like in typescript so we don't see `Some` littered everywhere.
As much as I like Dhall, it needs unions like in typescript so we don't see `Some` littered everywhere.