- Author: Matt Noonan
- Awesome technique that makes use of newtypes to do a practical and extremely ergonomic solution to static analysis on dynamic data. Things like sorting, formatting, etc guaranteed statically. It does this without dependent types. It doesnβt give you as strong guarantees (i.e. you have to implement the module correctly), but itβs significantly easier to work with today.