ただ、とりあえず現状（ opaque-type-ast ブランチ）では変数の型として some Foo を書くことはできないみたいです。仕様なのか現状の実装状況がそうなだけなのかわからないけど。