HAck injectivity check with overlap
Tests for closed type families