better error
trying to fix

there is some strange behavior, could be
b/c of the error inference in CallP...
lets check