Comments only
Check injectivity in .hs-boot files