Some people joke that you need a PhD to understand Haskell’s type system. I actually have one *substantially related to haskell* and I _still_ get stuck