/**
 * inspired by Idris language, an operator to asssert a type
 */
export type The<T, V extends T> = V;