pub trait OptionTy { const EXISTS: bool; }
Helper trait to mimic Option<T>, but where the variant are types
Option<T>
Whether this is a NoneTy (when false) or a SomeTy<T> (when true)
NoneTy
SomeTy<T>