A senior Haskell programmer well versed in category theory to take your Haskell to the next level