the most asInstanceOf per line in Scalazzi-compliant code (efficient Nat and Fin types)
nonEmpty without boolean blindness and older version and another one
Scala having too many features resulting in unsoundness
Why cheating LEM in is not safe
Scala2 Int :: String :: HNil to (Int, String) without macros (VERY EVIL)
Immutable array as newtype without boxing
Type inference actually works with enough variance
Type level computations with natural numbers (and Lists!)
Manual variance and more
Going in between existential covariance and Covariant
with (AnyRef {}) magic, don't ask
"Cata is all you need" at type-level and value-level
What to do once @fommil disables asInstanceOf
weird "dependent type" encoding with efficient runtime representations
Eureka moment when I discovered a way to move between A <: B and A <~< B in both directions
Another "dependent type" system