whitespace before and after the `<` would be nice