nonfix "_[]";
infixr "_.";
import type _Bool = _false + _true;
import type _List *a = [] + *a . (_List *a);
import type _Char{256,T};
import type _Int{10000,T};
import type _Integer;
import type _Float;
nonfix "P->";
import type -> *a *b;
import type _String == _List _Char;
