Scalanomicon the most asInstanceOf per line in Scalazzi-compliant code (efficient Nat and Fin types) nonEmpty without boolean blindness and older version and another one Dank Cord Scala having too many features resulting in unsoundness