data WhichNE xs where IsCons :: WhichNE (Cons x xs) IsLast :: WhichNE (Last x)