Relatedly, I was thinking of a separate 'partial-functions' warning
class, so we could annotate partial functions (head/last/...) in base,
and have the associated warnings be tunable via a separate GHC -fwarn*
flag. This could even be generalised to arbitrary warning-classes:

 {-# WARNING[partial] fromJust "Use 'fromMaybe' instead" #-}