I take it the `import` in `Free.scala` is what's making it explicit, right?