data MyString = MyString String

fromString :: String -> MyString
fromString s = MyString s
toString :: MyString -> String
toString (MyString ms) = ms

instance Eq MyString where
(MyString a) == (MyString b) = if a == b
                                then True
                                 else False

instance Ord MyString where
compare (MyString a) (MyString b) | a == b = EQ
                                  | (length a) > (length b) = GT
                                  | (length a) < (length b) = LT
                                  | (length a) == (length b) = compare' a b

compare' [] [] = EQ
compare' (a:as) (b:bs) | a > b = GT
                       | a < b = LT
                       | a == b compare' as bs