declarartion of the raw datatype already works; raw binding functions throw an exception about mutual recursive types

(binary:application/pdf)