package 'erased'
package 'erased' fixes
[TNat] If to Match