unison/unison-src/transcripts/unsafe-coerce.md


```ucm:hide
scratch/main> builtins.merge
```

```unison
f : '{} Nat
f _ = 5

fc : '{IO, Exception} Nat
fc = unsafe.coerceAbilities f

main : '{IO, Exception} [Result]
main _ =
  n = !fc
  if n == 5 then [Ok ""] else [Fail ""]
```

```ucm
scratch/main> find unsafe.coerceAbilities
scratch/main> add
scratch/main> io.test main
```
Add unsafe.coerceAbilities builtin 2021-08-20 21:50:05 +03:00
			```ucm:hide
Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> builtins.merge`
Add unsafe.coerceAbilities builtin 2021-08-20 21:50:05 +03:00			```

			```unison
			`f : '{} Nat`
			`f _ = 5`

			`fc : '{IO, Exception} Nat`
			`fc = unsafe.coerceAbilities f`

			`main : '{IO, Exception} [Result]`
			`main _ =`
			`n = !fc`
			`if n == 5 then [Ok ""] else [Fail ""]`
			```

			```ucm
Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> find unsafe.coerceAbilities`
			`scratch/main> add`
			`scratch/main> io.test main`
Add unsafe.coerceAbilities builtin 2021-08-20 21:50:05 +03:00			```