blob: defc3a52439eeb85243edc95db851e14bbf83ed1 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# OPTIONS_GHC -fwarn-unsafe -Werror #-}
{-# LANGUAGE FlexibleInstances #-}
module UnsafeInfered13 where
class C a where
f :: a -> String
instance {-# OVERLAPS #-} C a where
f _ = "a"
|