不可視のtypealias/associatedtypeはどう考えてもやばい