I honestly can't grasp this mentality. Very often types are so incredibly trivial that it makes no sense to include. Just like it would make no sense to write `

I honestly can't grasp this mentality. Very often types are so incredibly trivial that it makes no sense to include. Just like it would make no sense to write `1 + 1` as `((1: Int) (+: Int -> Int -> Int) (1: Int)): Int`. As if types add anything but clutter here. And many cases writing down types is just as unreadable as that.