With this full implementation of term-to-type is completed[1], thanks to #serokell's funding. Honestly, the stuff Mr. Zavialov, soon-to-be-Dr. Rogozin and others have done for #GHC over past half-decade may be quiet, but also quite impressive.

Long live #Haskell, the most level-headed option for strong typing in production.

[1]: https://gitlab.haskell.org/ghc/ghc/-/commit/0f0c53a501ba7740cc896bdb3a2b153512183955