Вы сталкивались с таким понятием, как discriminated union?