Cannot instantiate variables that have bounds

Question

Trying to implement this example: http://www.scala-lang.org/node/136

The result: core.typed doesn't know that other bounded type variables can be substituted.

https://gist.github.com/frenchy64/6110077

Answer 1

Reference: https://clojure.atlassian.net/browse/CTYP-32 (reported by ambrosebs)