start :: fn { a := A() a blob A { a: int } }