Documentation

data X

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

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

f :: ((?x :: X) => a) -> a