in #functional programming, #dependent types, #haskell, #singletons, #types, #existential types, #abominations, @Haskell