On Jan 13, 2008 2:07 PM, Tom Phoenix <rootbeer at redcat.com> wrote: > On Jan 13, 2008 7:55 AM, Fernando Rodriguez <frr149 at easyjob.net> wrote: > > > If I define the follwoing functions: > > > > car (x:_) = x > > car [] = [] > > What's the type signature for that function? car :: [[a]] -> [a] -- Felipe.