Comment by amelius

The term "pattern type" is more or less invented by Rust. See this old comment, and the first reply in particular:

https://news.ycombinator.com/item?id=39570633