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