そのためにはまず Parameterized extensions が必要で、道は遠い・・・。