It was not my intention... actually I *really* don't mind, just saying. Since it typechecks, it's probably ok