modified signature for withSingI for GHC 7.6