Comment by modulovalue

> Pattern types could potentially maybe in the future allow for the compiler to know more details though.

Thanks, I’ll take a look!