k     Case instances are allowed to form cases of a pattern match. (Normally, there is no need to implement more instances of this class.)   % data types can be used in patterns. `The conditions of a match. In most cases, this is the only function in this class to implement. If the result is Nothing, there is no match. If the result is  Just [x :=: x' , y :=: y', ... ], condition of the match is  that x matches x', y matches y' etc. Creates an extra value of type a with a Bool inside. 0The default implementation throws an exception. 4Checks if the argument is an extra value created by . BThe default implementation evaluates the argument and catches the  exception thrown. A data type to be used in   instances. Processes one case. Processes multiple cases.        Matches a value with cases.  Creates one case of the match. Syntactic sugar to compose (pattern,result) pairs.         ! funpat-0.1Language.FunPat.MatchLanguage.FunPat.InterfaceLanguage.FunPat.InstancesLanguage.FunPatSomeCaseCase PatternType ResultType ParameterTypestartcontinue matchCaseParam fromParam Matchable.=. makeParamisParamMatch:=: matchSomeCase matchCases matchHelp matchFoldpackageunbound nonlinear nonparametric matchErrormatchwith~>