Skip to content

Instantly share code, notes, and snippets.

@MnO2

MnO2/unbound_type_var.hs

Created August 10, 2014 07:09
Show Gist options
  • Save MnO2/a50bb38b7120b0cebb66 to your computer and use it in GitHub Desktop.
Save MnO2/a50bb38b7120b0cebb66 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
unbound_type_var.hs
data Foo a b = Foo a b
class Name f where
thyName :: f a b -> String
instance Name Foo where
thyName _ = "Foo"
main :: IO ()
main = do
putStrLn $ thyName (Foo 1 1)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment