Haskellcode

instance ( Ord a, Read a, Show a, ToDoc a
         , ToDoc (Conditions a), Show (Conditions a), Read (Conditions a)
         , ToDoc (Set a), Show (Set a), Read (Set a))
         => Problem Knapsack (Conditions a) (Set a) where

        validiere Knapsack cond proof
        verifiziere Knapsack cond proof
        getInstanz Knapsack cond proof dateiName
        getBeweis Knapsack cond proof dateiName