Subtype4.hascasl revision ab3ca4cacfada3a19ab024db7ad567b82fa1517d
var a : +Type
type List a : Type
%%type NonrepList a < List a
var c : Cpo
type NonrepList (c : Cpo) < List c