If calling function that uses unbound types, give a sensible error message.