Comment by kasey_junk

"For sane type-level programming look at latest Scala collections"

Is this a joke? The Scala collections library are terrible. They are inconsistent, hard to reason about, suffer from scope creep, and have terrible performance characteristics.