GHC HEAD compatibility