SHA and binary on GHC 7.6
singletons does not work in GHC 7.6