import type { Args, Fn } from "../HKT";

export type ValueOf<O> = O[keyof O];

export default interface ValueOfFn extends Fn<[object], unknown> {
  def: ([o]: Args<this>) => ValueOf<typeof o>;
}