locate type T at "T.fpp"
locate type C.T at "C.fpp"

type A1 = T
type A2 = C.T