in #functional programming, #haskell, #types, #lens, #advent of code, #functor combinators, @Haskell, +Beginner/Intermediate Haskell Projects
in #functional programming, #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons