exception for undefined type