[Haskell-cafe] Types of partially instantiated polymorphic helper functions

Dear Cafe, This has got to be a trivial question, but I don't see a solution, nor could I find anything through searching: If I want to write a type declaration for the helper function g here, what do I write? f :: a -> [b] -> [(a,b)] f a bs = g bs where g :: ???? g [] = [] g (x:xs) = (a,x) : g xs Apologies if I'm wasting bandwidth with my ignorance. Todd Wilson