An interpreter of Hagino's Categorical Programming Language (CPL).