class Ord a where min :: Ord a => a -> a -> a main = "Not to be executed." -- 2:12-2:15: Unresolved type class Ord.