Creating Effectable Primitives: Modeling `Box` with `Effect`

// The Box data type, representing a rectangular area of text with various combinators for layout and alignment.
export interface Box<A = never>
  extends Pipeable,
    Equal.Equal,
    Hash.Hash,
    Inspectable.Inspectable {
  readonly rows: number;
  readonly cols: number;
  readonly content: Content<A>;
}

// The Box inner data type, representing a rectangular area of text with various combinators for layout and alignment.
export interface TickyTacky<A = never>
  extends Equal.Equal,
    Hash.Hash,
    Inspectable.Inspectable {
  readonly rows: number;
  readonly cols: number;
  readonly content: Content<A>;
}

// The Effect wrapper that would be yielded
export interface Box<A = never, E, R>
  extends Pipeable,
    Effect.Effect<TickyTacky<A>, E, R> {}