むむ、そもそも:で記載する制約にconcreteな型は使えないので、そのパターンは無視できませんか？

12:05 PM

いや、classだと継承があるか！