Makes haskell type inference stuff more quizical.