Haskellcode

instance (ToDoc (Graph a), Show (Graph a), Read (Graph a), Iso (Graph a)
         , ToDoc (Ergeb a),Show (Ergeb a), Read (Ergeb a), Ord a, ToDoc a
         , Show a)
         => Problem Col (Graph a) (Ergeb a) where

    validiere Col g lsg 
    verifiziere Col g (Ergeb lsg)
    getInstanz Col g lsg dateiName
    getBeweis Col g lsg dateiName