data Ġclass ĠTest 1 < T >( val Ġx : ĠT ) Ċ Ċ data Ġclass ĠTest 2 < T Ġ: ĠNumber >( val Ġx : ĠT ) Ċ Ċ data Ġclass ĠTest 3 < T >( val Ġx : ĠList < T >) Ċ Ċ data Ġclass ĠTest 4 ( val Ġx : ĠList < String >)