Remove Data.TypeLevel and use DataKinds instead