Over time I found that I appreciated it more and more. There's a lot of weird and wonderful edge cases and it's a joy to see them encoded in the type system. You don't have to resort to stackoverflow questions like this: https://stackoverflow.com/questions/2050973/what-encoding-ar...