class Q a where
  valq :: a -> ()
instance Q [a] where
instance Q a where

main :: IO ()
main = print (valq "hoi")