Compile on GHC 7.0
Transitivity of equality
Merge pull request #141 from sanxiyn/master

Compile on GHC 7.0