I am a Haskell programmer, and aware of the more powerful abstractions available in Agda and similar languages. So I am aware of my Blubness :-) But I try to k

I am a Haskell programmer, and aware of the more powerful abstractions available in Agda and similar languages. So I am aware of my Blubness :-) But I try to keep up to date with regards to PL technologies, so I think I'm closer to the top of the contemporary Blub ladder, but I guess any Blub programmer might think that!