F-pattern_types : Subsets enums using as

I believe types as enum variants would solve this use case with "just" some syntactic sugar.