A type class for representing references to instances of other types. Takes a single Type as input and returns a new type which can store references to values of the given type.