>>718
> html内にも書けるからコードが汚くなる
正しいが解決されてないし絶対解決されない

タイプヒンティングはinvariantじゃなくてcovariantならなぁ