Über Open CoDE Software Wiki Diskussionen GitLab
Instead of an opaque pair which needs an extra type for documentation purposes.