You'll have to pry my meta type garbage out of my cold dead fingers. :) I agree with you - while neat types are cool from a mathematical perspective, they impo

You'll have to pry my meta type garbage out of my cold dead fingers. :) I agree with you - while neat types are cool from a mathematical perspective, they impose a huge maintenance burden. Most times, it's much smarter to accept a bit of type unsafety than to try to achieve perfection. Pretty much the only exception is in library code where you can use advanced types to provide improved developer experience or prevent user error.