/*
 * -------------------------------------------
 * Model
 * -------------------------------------------
 */

export interface Refinement<A, B extends A> {
  (a: A): a is B
}

export interface RefinementWithIndex<I, A, B extends A> {
  (i: I, a: A): a is B
}