Matt Parsons’ conversion of Rust’s type level trickery to Haskell brings out the elegance of Haskell syntax & sophistication of it’s type system

Stealing Where From Rust