SingI has been dropped from GHC 7.8