Documentation

data X #

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

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

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