Fix for GHC HEAD