/**
 * The identity type. Probably not useful until unapplied types become a thing.
 */
export type Id<T> = T;