Как правильно работать с PatternSynonyms: либо избыточно, либо неполное, либо исключение

Допустим, я хочу упростить анализ случая, сгруппировав несколько шаблонов с помощью DInt. PatternSynonyms расширение идеально для этого подходит. Я использую прагму COMPLETE, чтобы избежать предупреждения о неполном анализе случая, и код:

{-# COMPLETE DInt #-}                                                                                                         
data D = D1 Int | D2 Int | D3 String deriving (Eq, Show)                                                                      
pattern DInt :: Int -> D                                                                                                      
pattern DInt t <- (dInt -> Just t)                                                                                            
dInt :: D -> Maybe Int                                                                                                        
dInt (D1 n) = Just n                                                                                                          
dInt (D2 n) = Just n                                                                                                          
dInt _      = Nothing                                                                                                         
                                                                                                                              
f1 :: D -> String                                                                                                             
f1 d =                                                                                                                        
  case d of                                                                                                                   
    D3 s   -> "str:" <> s                                                                                                     
    DInt n -> "num:" <> show n

Это работает нормально, но если я напишу случай как:

case d of
  DInt n -> ...  -- without D3 branch !

Тогда это приводит к исключению во время выполнения без предупреждения во время компиляции! А отсутствие предупреждения - это проблема 1.

Затем я пробую это:

  case d of                                                                                                                   
    DInt n -> "num:" <> show n                                                                                                
    D3 s   -> "str:" <> s   -- WARNING

И всё работает нормально, но получаю предупреждение: «Соответствие шаблону избыточно», и это проблема 2.

Как я могу исправить/избежать этих двух проблем? Может синоним неправильно написан?

Одним из очевидных решений является перемещение преобразования в строку в синоним, но в реальном приложении у меня есть ситуация, когда некоторые термины/ветви не могут привести к значимым значениям, поэтому используется - Nothing.