Make this compilable on GHC HEAD (v7.9)