その件、ソース確認したんですが、無さそうです。純粋に syntax だけの制限だと思います。 concrete type extension が許可されてなかったから。