Add implicit Level argument to isInj_1 and isInj_2
Merge pull request #18 from aztek/master

Make Data.Sum.isInj_1 and Data.Sum.isInj_2 level-polymorphic