import { HKT, Apply, makeElimForConstraint } from './constraints';

export interface ExcludeBottomConstraint extends HKT {
  result: this['param'] extends undefined | null ?
            never
          : this['param'];
}

export const elimNonBottom = makeElimWithConstraint<ExcludeBottomConstraint>();