Search results

<haskell>data T a1 .. ai = forall t1 .. tj. constraints => Constructor e1 .. ek</haskell> ...hask>e1..ek</hask> are types in terms of <hask>a1..ai</hask> and <hask>t1..tj</hask>)