module Bad ( bad ) where bad :: Into bad = "foo"