Type and Practice