T! から仮定された T は T? にさらに暗黙キャストされない

これどうやって実現するんやろか