@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.