Welcome!

The type of (fmap . fmap)

Another unification exercise

Readers on Readers

Dealing with a monad transformer stack of Readers, with different environment requirements

Solving a Type Error - Couldn't Match Type

A walkthrough of a type mismatch error in GHC

Haskell Typeclasses & Dependency Injection

In this post, we take a look at Haskell Typeclasses as dependency injection on steroids.

Type-Level Programming In Haskell - GADTs

This is the second post in a series about type-level programming in Haskell

Type-Level Programming In Haskell - Phantom Types

This is the first post in a series about type-level programming in Haskell

Initial Commit

In this post, I lay out my rationale for shipping this website as is, warts and all!