GearsのGenerics
GearsOSではジェネリクスに該当するものは union Data*
Haskell/agdaでは型変数に相当するもの