> Thesis: Value constructors are the same notation as VBC constructors. +1. I don't think its a good use of our "user model complexity budget" to have a different way to write these guys. It also facilitates migration. And "Codes like a class" has a pretty sensible answer for "how do I write a constructor."