internal class SomeTest : FreeSpec() {
  
    data class Inner(val t: String)
    data class Outer(val i: Inner)
    init {
      "String size" {
        checkAll<String, Outer>(Arb.string(), Arb.bind<Outer>()) { a, b ->
          a.length shouldBe b.i.t.length
        }
      }
    }
}

"String size" {
      checkAll<String, Outer>(Arb.string(), Arb.bind<Outer>()) { a, b ->
        a.length shouldBe b.i.t.length
      }
    }