@Anka213@laMudri That can be implemented with GHC-7.0 (2010), and is nicer to use with GHC-7.6 (2013, which gives PolyKinds i.e. allows to work with DataKinds without repetition).
Discrete type *is* a type with decidable equality, which seems to be the t