to make GHC 7.6.2 happy