To be nitpicky, it would be really nice to have the concerned type in the error message when 'Invalid type' errors occur.