```scala
def sequenceF_[M[_],B](implicit ev: F[A] <~< F[Free[M,B]])
```