<div dir="ltr">Dear Cafe,<div><br></div><div>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?</div><div><br></div><div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div>f :: a -> [b] -> [(a,b)]<br>f a bs = g bs where</div><div>  g :: ????<br>  g [] = []<br>  g (x:xs) = (a,x) : g xs<br></div></blockquote></div><div><br></div><div>Apologies if I'm wasting bandwidth with my ignorance.</div><div><br></div><div>Todd Wilson</div></div>