diff --git a/src/struct.ts b/src/struct.ts
index b482fd3b..7bc5861c 100644
--- a/src/struct.ts
+++ b/src/struct.ts
@@ -7,8 +7,9 @@ import { StructError, Failure } from './error'
  * validate unknown input data against the struct.
  */
 
-export class Struct<T = unknown, S = unknown> {
+export class Struct<T = unknown, S = unknown, C = T> {
   readonly TYPE!: T
+  readonly UNCOERCED_TYPE!: C
   type: string
   schema: S
   coercer: (value: unknown, context: Context) => unknown
@@ -25,7 +26,7 @@ export class Struct<T = unknown, S = unknown> {
     coercer?: Coercer
     validator?: Validator
     refiner?: Refiner<T>
-    entries?: Struct<T, S>['entries']
+    entries?: Struct<T, S, C>['entries']
   }) {
     const {
       type,
@@ -117,9 +118,9 @@ export class Struct<T = unknown, S = unknown> {
  * Assert that a value passes a struct, throwing if it doesn't.
  */
 
-export function assert<T, S>(
+export function assert<T, S, C>(
   value: unknown,
-  struct: Struct<T, S>,
+  struct: Struct<T, S, C>,
   message?: string
 ): asserts value is T {
   const result = validate(value, struct, { message })
@@ -133,9 +134,9 @@ export function assert<T, S>(
  * Create a value with the coercion logic of struct and validate it.
  */
 
-export function create<T, S>(
+export function create<T, S, C>(
   value: unknown,
-  struct: Struct<T, S>,
+  struct: Struct<T, S, C>,
   message?: string
 ): T {
   const result = validate(value, struct, { coerce: true, message })
@@ -151,9 +152,9 @@ export function create<T, S>(
  * Mask a value, returning only the subset of properties defined by a struct.
  */
 
-export function mask<T, S>(
+export function mask<T, S, C>(
   value: unknown,
-  struct: Struct<T, S>,
+  struct: Struct<T, S, C>,
   message?: string
 ): T {
   const result = validate(value, struct, { coerce: true, mask: true, message })
@@ -169,7 +170,10 @@ export function mask<T, S>(
  * Check if a value passes a struct.
  */
 
-export function is<T, S>(value: unknown, struct: Struct<T, S>): value is T {
+export function is<T, S, C>(
+  value: unknown,
+  struct: Struct<T, S, C>
+): value is T {
   const result = validate(value, struct)
   return !result[0]
 }
@@ -179,9 +183,9 @@ export function is<T, S>(value: unknown, struct: Struct<T, S>): value is T {
  * value (with potential coercion) if valid.
  */
 
-export function validate<T, S>(
+export function validate<T, S, C>(
   value: unknown,
-  struct: Struct<T, S>,
+  struct: Struct<T, S, C>,
   options: {
     coerce?: boolean
     mask?: boolean
@@ -221,7 +225,14 @@ export type Context = {
  * A type utility to extract the type from a `Struct` class.
  */
 
-export type Infer<T extends Struct<any, any>> = T['TYPE']
+export type Infer<T extends Struct<any, any, any>> = T['TYPE']
+
+/**
+ * A type utility to extract the type from a `Struct` class before coercion
+ */
+
+export type InferUncoerced<T extends Struct<any, any, any>> =
+  T['UNCOERCED_TYPE']
 
 /**
  * A type utility to describe that a struct represents a TypeScript type.
diff --git a/src/structs/coercions.ts b/src/structs/coercions.ts
index 6dca4ece..a29a708b 100644
--- a/src/structs/coercions.ts
+++ b/src/structs/coercions.ts
@@ -13,11 +13,11 @@ import { string, unknown } from './types'
  * take effect! Using simply `assert()` or `is()` will not use coercion.
  */
 
-export function coerce<T, S, C>(
-  struct: Struct<T, S>,
-  condition: Struct<C, any>,
+export function coerce<T, S, C, UC>(
+  struct: Struct<T, S, UC>,
+  condition: Struct<C, any, any>,
   coercer: Coercer<C>
-): Struct<T, S> {
+): Struct<T, S, UC | C | T> {
   return new Struct({
     ...struct,
     coercer: (value, ctx) => {
@@ -35,14 +35,14 @@ export function coerce<T, S, C>(
  * take effect! Using simply `assert()` or `is()` will not use coercion.
  */
 
-export function defaulted<T, S>(
-  struct: Struct<T, S>,
+export function defaulted<T, S, C>(
+  struct: Struct<T, S, C>,
   fallback: any,
   options: {
     strict?: boolean
   } = {}
-): Struct<T, S> {
-  return coerce(struct, unknown(), (x) => {
+): Struct<T, S, undefined | Partial<T> | C> {
+  return coerce(struct, unknown() as Struct<undefined | Partial<T>>, (x) => {
     const f = typeof fallback === 'function' ? fallback() : fallback
 
     if (x === undefined) {
@@ -76,6 +76,6 @@ export function defaulted<T, S>(
  * take effect! Using simply `assert()` or `is()` will not use coercion.
  */
 
-export function trimmed<T, S>(struct: Struct<T, S>): Struct<T, S> {
+export function trimmed<T, S>(struct: Struct<T, S>): Struct<T, S, string | T> {
   return coerce(struct, string(), (x) => x.trim())
 }
diff --git a/src/structs/types.ts b/src/structs/types.ts
index 8bcc0ef3..c6758971 100644
--- a/src/structs/types.ts
+++ b/src/structs/types.ts
@@ -1,4 +1,4 @@
-import { Infer, Struct } from '../struct'
+import { Infer, InferUncoerced, Struct } from '../struct'
 import { define } from './utilities'
 import {
   ObjectSchema,
@@ -9,6 +9,8 @@ import {
   AnyStruct,
   InferStructTuple,
   UnionToIntersection,
+  ObjectTypeUncoerced,
+  InferStructTupleUncoerced,
 } from '../utils'
 
 /**
@@ -27,7 +29,9 @@ export function any(): Struct<any, null> {
  * and it is preferred to using `array(any())`.
  */
 
-export function array<T extends Struct<any>>(Element: T): Struct<Infer<T>[], T>
+export function array<T extends Struct<any>>(
+  Element: T
+): Struct<Infer<T>[], T, InferUncoerced<T>[]>
 export function array(): Struct<unknown[], undefined>
 export function array<T extends Struct<any>>(Element?: T): any {
   return new Struct({
@@ -170,7 +174,11 @@ export function integer(): Struct<number, null> {
 
 export function intersection<A extends AnyStruct, B extends AnyStruct[]>(
   Structs: [A, ...B]
-): Struct<Infer<A> & UnionToIntersection<InferStructTuple<B>[number]>, null> {
+): Struct<
+  Infer<A> & UnionToIntersection<InferStructTuple<B>[number]>,
+  null,
+  InferUncoerced<A> & UnionToIntersection<InferStructTupleUncoerced<B>[number]>
+> {
   return new Struct({
     type: 'intersection',
     schema: null,
@@ -262,7 +270,9 @@ export function never(): Struct<never, null> {
  * Augment an existing struct to allow `null` values.
  */
 
-export function nullable<T, S>(struct: Struct<T, S>): Struct<T | null, S> {
+export function nullable<T, S, C>(
+  struct: Struct<T, S, C>
+): Struct<T | null, S> {
   return new Struct({
     ...struct,
     validator: (value, ctx) => value === null || struct.validator(value, ctx),
@@ -293,7 +303,7 @@ export function number(): Struct<number, null> {
 export function object(): Struct<Record<string, unknown>, null>
 export function object<S extends ObjectSchema>(
   schema: S
-): Struct<ObjectType<S>, S>
+): Struct<ObjectType<S>, S, ObjectTypeUncoerced<S>>
 export function object<S extends ObjectSchema>(schema?: S): any {
   const knowns = schema ? Object.keys(schema) : []
   const Never = never()
@@ -432,7 +442,11 @@ export function string(): Struct<string, null> {
 
 export function tuple<A extends AnyStruct, B extends AnyStruct[]>(
   Structs: [A, ...B]
-): Struct<[Infer<A>, ...InferStructTuple<B>], null> {
+): Struct<
+  [Infer<A>, ...InferStructTuple<B>],
+  null,
+  [InferUncoerced<A>, ...InferStructTupleUncoerced<B>]
+> {
   const Never = never()
 
   return new Struct({
@@ -465,7 +479,7 @@ export function tuple<A extends AnyStruct, B extends AnyStruct[]>(
 
 export function type<S extends ObjectSchema>(
   schema: S
-): Struct<ObjectType<S>, S> {
+): Struct<ObjectType<S>, S, ObjectTypeUncoerced<S>> {
   const keys = Object.keys(schema)
   return new Struct({
     type: 'type',
@@ -494,7 +508,11 @@ export function type<S extends ObjectSchema>(
 
 export function union<A extends AnyStruct, B extends AnyStruct[]>(
   Structs: [A, ...B]
-): Struct<Infer<A> | InferStructTuple<B>[number], null> {
+): Struct<
+  Infer<A> | InferStructTuple<B>[number],
+  null,
+  InferUncoerced<A> | InferStructTupleUncoerced<B>[number]
+> {
   const description = Structs.map((s) => s.type).join(' | ')
   return new Struct({
     type: 'union',
diff --git a/src/structs/utilities.ts b/src/structs/utilities.ts
index 28c1c53b..943727e0 100644
--- a/src/structs/utilities.ts
+++ b/src/structs/utilities.ts
@@ -1,6 +1,12 @@
 import { Struct, Context, Validator } from '../struct'
 import { object, optional, type } from './types'
-import { ObjectSchema, Assign, ObjectType, PartialObjectSchema } from '../utils'
+import {
+  ObjectSchema,
+  Assign,
+  ObjectType,
+  PartialObjectSchema,
+  ObjectTypeUncoerced,
+} from '../utils'
 
 /**
  * Create a new struct that combines the properties properties from multiple
@@ -164,9 +170,9 @@ export function lazy<T>(fn: () => Struct<T, any>): Struct<T, null> {
  */
 
 export function omit<S extends ObjectSchema, K extends keyof S>(
-  struct: Struct<ObjectType<S>, S>,
+  struct: Struct<ObjectType<S>, S, ObjectTypeUncoerced<S>>,
   keys: K[]
-): Struct<ObjectType<Omit<S, K>>, Omit<S, K>> {
+): Struct<ObjectType<Omit<S, K>>, Omit<S, K>, ObjectTypeUncoerced<Omit<S, K>>> {
   const { schema } = struct
   const subschema: any = { ...schema }
 
diff --git a/src/utils.ts b/src/utils.ts
index 92df9755..e6db4739 100644
--- a/src/utils.ts
+++ b/src/utils.ts
@@ -1,4 +1,11 @@
-import { Struct, Infer, Result, Context, Describe } from './struct'
+import {
+  Struct,
+  Infer,
+  Result,
+  Context,
+  Describe,
+  InferUncoerced,
+} from './struct'
 import { Failure } from './error'
 
 /**
@@ -56,10 +63,10 @@ export function shiftIterator<T>(input: Iterator<T>): T | undefined {
  * Convert a single validation result to a failure.
  */
 
-export function toFailure<T, S>(
+export function toFailure<T, S, C>(
   result: string | boolean | Partial<Failure>,
   context: Context,
-  struct: Struct<T, S>,
+  struct: Struct<T, S, C>,
   value: any
 ): Failure | undefined {
   if (result === true) {
@@ -95,10 +102,10 @@ export function toFailure<T, S>(
  * Convert a validation result to an iterable of failures.
  */
 
-export function* toFailures<T, S>(
+export function* toFailures<T, S, C>(
   result: Result,
   context: Context,
-  struct: Struct<T, S>,
+  struct: Struct<T, S, C>,
   value: any
 ): IterableIterator<Failure> {
   if (!isIterable(result)) {
@@ -119,9 +126,9 @@ export function* toFailures<T, S>(
  * returning an iterator of failures or success.
  */
 
-export function* run<T, S>(
+export function* run<T, S, C>(
   value: unknown,
-  struct: Struct<T, S>,
+  struct: Struct<T, S, C>,
   options: {
     path?: any[]
     branch?: any[]
@@ -291,6 +298,14 @@ export type ObjectType<S extends ObjectSchema> = Simplify<
   Optionalize<{ [K in keyof S]: Infer<S[K]> }>
 >
 
+/**
+ * Infer a type from an object struct schema.
+ */
+
+export type ObjectTypeUncoerced<S extends ObjectSchema> = Simplify<
+  Optionalize<{ [K in keyof S]: InferUncoerced<S[K]> }>
+>
+
 /**
  * Omit properties from a type that extend from a specific type.
  */
@@ -414,3 +429,27 @@ type _InferTuple<
 > = Index extends Length
   ? Accumulated
   : _InferTuple<Tuple, Length, [...Accumulated, Infer<Tuple[Index]>]>
+
+/**
+ * Infer a tuple of types from a tuple of `Struct`s.
+ *
+ * This is used to recursively retrieve the type from `union` `intersection` and
+ * `tuple` structs.
+ */
+
+export type InferStructTupleUncoerced<
+  Tuple extends AnyStruct[],
+  Length extends number = Tuple['length']
+> = Length extends Length
+  ? number extends Length
+    ? Tuple
+    : _InferTupleUncoerced<Tuple, Length, []>
+  : never
+type _InferTupleUncoerced<
+  Tuple extends AnyStruct[],
+  Length extends number,
+  Accumulated extends unknown[],
+  Index extends number = Accumulated['length']
+> = Index extends Length
+  ? Accumulated
+  : _InferTuple<Tuple, Length, [...Accumulated, InferUncoerced<Tuple[Index]>]>