Why do you think that is the case? On-their-own-line type annotations is probably one of my favorite bits of Haskell syntax func :: A -> A -> A func fo

Why do you think that is the case? On-their-own-line type annotations is probably one of my favorite bits of Haskell syntax func :: A -> A -> A func foo bar = foo * bar