add type-class programming demo.