Hi everybody,
 I feel forcing the first argument of take to be an Int is unnecessarily restrictive .. Is there a rationale behind not making it just (Integral a) ?

right now it is 
take::Int->[a]->[a]

I was thinking may be 

take::(Integral b)=>b->[a]->[a]

would be better...

Thanks,
Sunil.