Add GHCi tests for injectivity