gistfile1.txt

{-# LANGUAGE OverloadedStrings, FlexibleInstances #-}
import Data.String
import Unsafe.Coerce
import Data.Text
instance IsString a => IsString (a -> String) where
  fromString s = \x -> s ++ (unsafeCoerce x)

-- returns "foobar"
cool = "foo" "bar" :: String

-- returns "foo"
wat = ("foo"::Text -> String) "bar" :: String