Always type-check init method first