GHC 7.2 compat