Haskell class experiments

class-exp.hs

{-# LANGUAGE FlexibleInstances, TypeSynonymInstances, IncoherentInstances #-}

class (MyClass t) where
  doShow :: (Show t) => t -> String
instance (MyClass String) where
  doShow x = "Your string is " ++ x
instance (MyClass t) where
  doShow x = "Your parameter is " ++ show x
instance (MyClass [t]) where
  doShow x = do
    let list = show $ x ++ reverse x
    "Your new List is " ++ list

some :: (MyClass t, Show t) => t -> String
some = doShow