Overloaded strings, pattern matching, and Eq instances

{-# LANGUAGE OverloadedStrings #-}
module M where
import Data.String (IsString)
data A = A
instance IsString A
f :: A -> Int
f "" = 0
f _  = 1