A principled approach to programming with nested types in Haskell
scientific article; zbMATH DE number 5677844
scientific article