Comment by gliese1337

I am actually slightly tempted to start using Opa for this. Not enough to actually do it, just now, but wow, that's a nice feature. Would that all static type checkers gave error messages at least that useful.