hub.darcs.net :: jeltsch -> type-functions -> files

Emulation of type-level functions (https://hackage.haskell.org/package/type-functions)