in #functional programming, #haskell, @Haskell, @Ramblings, +Haskell Mythbusters
in #functional programming, #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, @Reference