This is probably excessive for type-checking.