GHC 7.2 compatibility