Overloading

• The show function itself has this type:

               (Show a) => a -> String

• That is, it takes an argument of type a and returns a String

• But only if a is an instance of Show

• The (Show a) is called a context

• The show function for Bool has type Bool -> String

Next

Copyright © 1999,2008 Mark Dominus