Help m understand...

f :: Void -> String
f _ = "WAT??"

f (error "Hey")

#haskell

@arialdo What do you want to understand? The function ignores its argument to produce String. It may as well be `f :: a -> String`.

The `error` argument isn't evaluated and so no actual errorirng happens.