They should and they do. But for local variables Haskell programmers generally assert one letter adequately conveys the meaning, especially since you know the t

They should and they do. But for local variables Haskell programmers generally assert one letter adequately conveys the meaning, especially since you know the type. But the second you can't is also the second you should use more than one letter.