Blahh.
Of course it works. It typechecks.