Added examples to Internal.hs