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