What does a leading single quote mean?

A name preceded by a ' character is of type Type:

Idris> 'foo
'foo : Type

What does this mean? What would be an example of a value of type 'foo?