frameworkが分離されてれば、理論上はimport先の型情報は使えることになりそう