signatureとstructure

class SigFoo a where { foo :: a -> String }
data StructBar = Bar
instance SigFoo StructBar where { foo Bar = "foobar" }