Yep. I tought about it, but I was a few days from the deadline date, and this will add a significant amount of work. Anyway, I was dissatisfied of that. GADTs

Yep. I tought about it, but I was a few days from the deadline date, and this will add a significant amount of work. Anyway, I was dissatisfied of that. GADTs are awesome to add some "proofness" to a type checker.