Shen is executable sequent calculus. It's data types are sequents, the conditions specified as arbitrary lisp (shen). Wikipedia seems to classify Shen as having algebraic data types, although it's type system isn't derived from ML or Cateogry Theory.
Was going to say Shen does, but then again I only see pattern matching. Anyway, you might want to check it out:
http://www.shenlanguage.org/
I do agree purescript is awesome though :)