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