Wrong input types derived from @effect/schema

.input(
      Schema.decodeUnknownSync(
        Schema.Struct({
          authenticated: Schema.optionalWith(Schema.Boolean, {
            default: () => false,
          }),
          limit: Schema.optionalWith(Schema.Number.pipe(Schema.nonNegative()), {
            default: () => 100,
          }),
          offset: Schema.optionalWith(
            Schema.Number.pipe(Schema.nonNegative()),
            {
              default: () => 0,
            },
          ),
          permissions: Schema.optionalWith(Schema.Array(PermissionSchema), {
            default: () => [],
          }),
          roleIds: Schema.optionalWith(Schema.Array(Schema.NonEmptyString), {
            default: () => [],
          }),
        }),
      ),
    )

input: {   readonly permissions: readonly Permission[]   readonly roleIds: readonly string[]   readonly limit: number   readonly offset: number   readonly authenticated: boolean }