org.specs2.internal.scalaz
Unpack a value of type A0 into type [a]A0, given a instance of TC
A0
[a]A0
TC