Work around GHC bug 4310