path: root/testsuite/tests/safeHaskell/safeInfered/SafeInfered05_A.hs

{-# LANGUAGE FlexibleInstances #-}
module SafeInfered05_A where

class C a where
  f :: a -> String

instance C [Int] where
  f _ = "[Int]"