message: interpret never differently
diff: @@ -2,13 +2,11 @@ import * as P from "../Prelude"
  import { ContravariantP, CovariantP } from "../Prelude/HKT"
  import * as T from "@effect-ts/system/Effect"
  -import { Erase } from "@effect-ts/system/Utils"
  const EffectURI = T.EffectURI
  type EffectURI = typeof EffectURI
  export type V = CovariantP<"E"> & CovariantP<"X"> & ContravariantP<"R">
  -export type AsyncV = Erase<V, CovariantP<"X">> & P.Fix<"X", unknown>
  declare module "../Prelude/HKT" {
  interface URItoKind<N extends string, K, SI, SO, X, I, S, R, E, A> {
  @@ -20,8 +18,8 @@ export const Any = P.instance<P.Any<EffectURI, V>>({
  any: () => T.succeed({})
  })
  -export const None = P.instance<P.None<EffectURI, AsyncV>>({
  - never: () => T.never
  +export const None = P.instance<P.None<EffectURI, V>>({
  + never: () => T.die(new Error("never should not be called"))
  })
  export const AssociativeEither = P.instance<P.AssociativeEither<EffectURI, V>>({
  @@ -40,7 +38,7 @@ export const Covariant = P.instance<P.Covariant<EffectURI, V>>({
  map: T.map
  })
  -export const IdentityEither: P.IdentityEither<EffectURI, AsyncV> = {
  +export const IdentityEither: P.IdentityEither<EffectURI, V> = {
  ...AssociativeEither,
  ...None
  }
  