“Сопоставление с образцом” алгебраических конструкторов данных типа

Давайте рассмотрим тип данных со многими конструкторами:

data T = Alpha Int | Beta Int | Gamma Int Int | Delta Int

Я хочу записать функцию, чтобы проверить, производятся ли два значения с тем же конструктором:

sameK (Alpha _) (Alpha _) = True
sameK (Beta _) (Beta _) = True
sameK (Gamma _ _) (Gamma _ _) = True
sameK _ _ = False

Поддержание sameK не много забавы, она не может быть проверена на правильность легко. Например, когда новые конструкторы добавляются к T, легко забыть обновлять sameK. Я опустил одну строку для предоставления примера:

-- it’s easy to forget:
-- sameK (Delta _) (Delta _) = True

Вопрос состоит в том, как избежать шаблона в sameK? Или как удостовериться, что это проверяет на все T конструкторы?

Обходное решение, которое я нашел, должно использовать отдельные типы данных для каждого из конструкторов, происходя Data.Typeable, и объявляя класс общего типа, но мне не нравится это решение, потому что это намного менее читаемо, и иначе просто простой алгебраический тип работает на меня:

{-# LANGUAGE DeriveDataTypeable #-}

import Data.Typeable

class Tlike t where
  value :: t -> t
  value = id

data Alpha = Alpha Int deriving Typeable
data Beta = Beta Int deriving Typeable
data Gamma = Gamma Int Int deriving Typeable
data Delta = Delta Int deriving Typeable

instance Tlike Alpha
instance Tlike Beta
instance Tlike Gamma
instance Tlike Delta

sameK :: (Tlike t, Typeable t, Tlike t', Typeable t') => t -> t' -> Bool
sameK a b = typeOf a == typeOf b