Haskellcode

instance (ToDoc (GTSP a), Show (GTSP a), Read (GTSP a), Iso (GTSP a)
         , ToDoc (Rundreise a), Show (Rundreise a), Read (Rundreise a), Ord a, ToDoc a
         , Show a)
    => Problem GTSProblem (GTSP a) (Rundreise a) where    

        validiere GTSProblem tsp rundreise
        verifiziere GTSProblem tsp rundreise
        getInstanz GTSProblem tsp rundreise dateiName
        getBeweis GTSProblem tsp rundreise dateiName