Complexをジェネリクスにするのを諦めて ComplexRealNumber : ComplexTypeとGaussInt : ComplexType にするってことですか？