import type { Eq } from './Eq'
import type { Ord } from './Ord'
import type { Predicate } from './Predicate'
import type { Show } from './Show'

export const ShowURI = 'Show'
export type ShowURI = typeof ShowURI

export const EqURI = 'Eq'
export type EqURI = typeof EqURI

export const OrdURI = 'Ord'
export type OrdURI = typeof OrdURI

export const PredicateURI = 'Predicate'
export type PredicateURI = typeof PredicateURI

declare module './HKT' {
  interface URItoKind<FC, TC, N, K, Q, W, X, I, S, R, E, A> {
    [ShowURI]: Show<A>
    [EqURI]: Eq<A>
    [OrdURI]: Ord<A>
    [PredicateURI]: Predicate<A>
  }
}