Safe Haskell validate failure