Type defaulting: make GHC quieter