sized-hkts A compiler that implements statically-sized higher-kinded types ala Rust. See the companion article here.