Comment out extend-type example for now.