As a sibling comment[0] mentioned, pattern types are actively being worked on.
[0] https://news.ycombinator.com/item?id=45474777
Oh. I thought it stalled since there was a long time without activity.
Oh. I thought it stalled since there was a long time without activity.