add function that turns F ~> M into FreeC[F]~> M