The main reason I try to code in Haskell with the {-# LANGUAGE Safe #-}
pragma turned on:
Quote of the day (Simon Marlow):
“For typical Haskell programmers, using {-# LANGUAGE Safe #-} will be like
-Wall: something that is considered good practice from a hygiene point of
view. If you don’t need access to unsafe features, then it’s better to write
in the safe subset, where you have stronger guarantees. Just like -Wall, you
get to choose whether to use {-# LANGUAGE Safe #-} or not.”