1 2 3 4 5 6 7 8
{-# LANGUAGE PatternSynonyms #-} module Mod where data T = C pattern D = C {-# COMPLETE D :: T #-}