locate type T at "T.fpp"
locate constant a at "a.fpp"

struct S { x: T } default a