Documentation

data X

c :: (?x :: X) => X

d :: (?x :: X, ?y :: X) => (X, X)