Unique

Main data types

data Unique
class Uniquable a

Constructors, desctructors and operations on Uniques

Making built-in uniques