message: WIP: Fix refine
diff: @@ -73,7 +73,7 @@ export const symbolFor = (t: any | undefined, k: any | undefined) => {
  export type Augumented<T> = Has<T> & {
  overridable: () => Has<T>
  - refine: <K extends T>() => Has<K>
  + refine: <K extends T>() => Augumented<K>
  }
  export type HasType<T> = T extends Has<infer A> ? Has<A> : never
  @@ -96,6 +96,7 @@ export function has<T>(
  }
  export function has(t?: unknown): (k?: unknown) => Augumented<unknown> {
  return (k) => {
  + const inner = () => {
  const h = {
  [HasURI]: {
  _T: undefined as any,
  @@ -113,8 +114,11 @@ export function has(t?: unknown): (k?: unknown) => Augumented<unknown> {
  def: true
  }
  }),
  - refine: identity as any
  + refine: () => inner()
  + }
  }
  +
  + return inner()
  }
  }
  