and I'll do something of an effort post on first-class patterns (just kidding, you don't need them, just something similar) and my metatheory project (I think I'm close to being mentally ready to start on it ... aka wait for another three months lol)
