↑ができるなら Parameterized extensions すぐ実現できそう・・・