dokpro: Clean up the type checking slightly.
dokpro: Clean up the type checking slightly.

Former-commit-id: f5244a575d9e87f7f86266084a7a632a39fafc50 [formerly c884d5259bea6bbeecee69fee33c3abaa201b47b]
Former-commit-id: 01ae9850a2a9bd74bb297a766478ba1367ecebf7
torhve/ivar2,torhve/ivar2,torhve/ivar2,haste/ivar2