Add explicit types to help GHC 7.8