> I think we could constrain it more thoroughly, I was only looking at > doing the minimum that I was sure about. Integer types are definitely > not callable, I didn't think carefully about what other constraints > would be safe. Interesting. This constraint seems like a good first step! -benjamin