On May 12, 2014, at 11:51 PM, Marius Nita <m at mariusnita.com> wrote: > As far as I can tell, that quote accurately describes types in ML or Haskell, which disallow all "invalid" behaviors along with some valid ones. It's not clear what you mean by "constructive". "match" and "case". V.