Delete tutorial example for type-checked methods.