[avmich]

The first example reminds me specifications of some types in typed Clojure. Part of the reason it gets complaints is those tricky types.

At least they look like that, comparing to Haskell.