I like that you bring up the point of visual space. A few have mentioned that the small amount of extra typing isn’t a big deal. But I think the main reason this idea appealed to me isn’t the saved keystrokes but the aesthetic of the page. I’ve seen a couple talks on functional programming that talk about groups of functions by showing slides listing their type signatures. I think it would be neat if those slides were valid elm because of their aesthetic appeal and concision.