6.4.16. Visible type application¶| ghc.gitlab.haskell.org
6.4.10. Datatype promotion¶| ghc.gitlab.haskell.org
