fromは生やせるけど、fromを型として定義できない。