If I changed the order of the arguments as you (crater2150) suggest, would’t I just be kicking the can down the road? Wouldn’t I encounter the same problem the next time I try to call mapcar with a function whose types are inferable, but with lists whose types are not?