# Exercises: For Example
1. Type is `Example` `MakeExample :: Example`
2. It shows deriving of the typeclass `Show`
3. It will change to `Int -> Example`