The Haskell type for that would be "Maybe String". When you get a Maybe value, the compiler gives an error if you don't deal with the possibility that the value

The Haskell type for that would be "Maybe String". When you get a Maybe value, the compiler gives an error if you don't deal with the possibility that the value might be Nothing.