TypeScript

Type + function

typescript
type User = { id: string; email: string };

export function toEmail(u: User): string {
  return u.email;
}

Narrowing

typescript
function isError(x: unknown): x is Error {
  return x instanceof Error;
}