Adaなら特定の範囲の型作れるみたいよ