Haskellcode

instance (ToDoc (PCP a), Show (PCP a), Read (PCP a), Iso (PCP a)
         , ToDoc (Folge a), Show (Folge a), Read (Folge a), Ord a, ToDoc a, Show a)
    => Problem PCProblem (PCP a) (Folge a) where

        validiere PCProblem  pcp folge
        verifiziere PCProblem pcp folge
        getInstanz PCProblem pcp folge dateiName
        getBeweis PCProblem pcp folge dateiName