Today is 3^2 day, because 3 squared is 9 and today's date is 03.03.09. Number jokes aside, it was a good day, I am finally beginning the implementation part of my new project at work and the ideas keep sprouting.
PS.: Also I found a nice article about decidable type inference for GADTs. Final version hopefully for ICFP09!