在库里显示数据类型

Question

Curry是否能够在REPL中显示或打印数据类型（使用PAKCS或MCC）？在Haskell中，使用the type class Show强制执行此功能。但是，没有维护的Curry实现实现类型类。浏览PAKCS库，似乎没有抽象数据类型被赋予用户与之交互的规范表示，但是有几个具有为相当打印而定义的单独函数。

作为参考，我正在为个人项目实现几种抽象数据类型。因为我无意将代码打包到带有交互式用户界面的编译程序中，所以近似Haskell的show函数会很方便。