Spire test onboard

Seems treecheckers complains when higher kinded types are around --
since this error occurs even without miniboxing/specialization, I
won't go into it now:

https://issues.scala-lang.org/browse/SI-8282