úÎ Ù vportable experimental+Joachim Breitner <mail@joachim-breitner.de>: turns a toplevel declaration into a sealed parameter. It $ must only be used inside a call to  and there only in the form ( of a top level declaration of the form    name = sealedParam A type signature for name- may be given, and is a prerequisite for the - generated functions having type signatures. ? modifies the passed top level declarations to have additional * parameters for each declaration bound to , in the order of K their appearance. The parameter declarations and their type signature, if 5 present, are removed from the list of declarations. KThe generated functions will have a type signature if and only they have a 9 type signature and all parameters have type signatures.  seal-module-0.1.0.1Language.Haskell.SealModule sealedParam sealModule findParamNamefindParamTypesfindDefinedNamesdefines prependType