Switch `<>` back to `[]`

Here we go.

Thoughts?
That is one syntax proposal for HKTs (following in Scala's footsteps) which is ok. I find `[]` a lot more composable than `<>` (i.e., you can nest them without it being cryptic to read).