import "Prelude" data CP = CP Integer String //cpName :: CP -> String cpName CP cp name = name connectionPoints :: Integer -> [(CP, CP)] connectionPoints n = [] hasTerminalProblems :: Integer -> Boolean hasTerminalProblems uc = let cps = connectionPoints uc cpCount = length cps dcps = map snd cps dnames = map cpName dcps dcpNameCount = length $ unique $ sort dnames in cpCount != dcpNameCount main = "Not OK" -- 6:8-6:10: ???