Safe HaskellSafe

ImplicitParams

Documentation

data X

Constructors

X 

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

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

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