Is it? The definition I see in the GHC docs seems to be broader than that: https://downloads.haskell.org/ghc/latest/docs/html/users_guide/safe_haskell.html#safe

Is it? The definition I see in the GHC docs seems to be broader than that: https://downloads.haskell.org/ghc/latest/docs/html/users_guide/safe_haskell.html#safe-language https://downloads.haskell.org/ghc/latest/docs/html/users_gui... Regardless, I agree the function under discussion though, "head", is not "unsafe" in either sense. That's why I said "as an aside".