Yes I know it's not pattern matching special case but more in macro reification