Yina, make it pretty.
While technically it would work after typecheck, it's a forbidden technique.