Comparison between different Async types

Computation Expression¹	Library²	TFM³	Hot/Cold⁴	Multiple Awaits ⁵	Multi-start⁶	Tailcalls⁷	CancellationToken propagation⁸	Cancellation checks⁹	Parallel when using and!¹⁰	use IAsyncDisposable ¹¹
F# Async	FSharp.Core	netstandard2.0	Cold	Multiple	multiple	tailcalls	implicit	implicit	No	No
F# AsyncEx	IcedTasks	netstandard2.0	Cold	Multiple	multiple	tailcalls	implicit	implicit	No	Yes
F# ParallelAsync	IcedTasks	netstandard2.0	Cold	Multiple	multiple	tailcalls	implicit	implicit	Yes	No
F# Task/C# Task	FSharp.Core	netstandard2.0	Hot	Multiple	once-start	no tailcalls	explicit	explicit	No	Yes
F# ValueTask	IcedTasks	netstandard2.0	Hot	Once	once-start	no tailcalls	explicit	explicit	Yes	Yes
F# ColdTask	IcedTasks	netstandard2.0	Cold	Multiple	multiple	no tailcalls	explicit	explicit	Yes	Yes
F# CancellableTask	IcedTasks	netstandard2.0	Cold	Multiple	multiple	no tailcalls	implicit	implicit	Yes	Yes
F# CancellableValueTask	IcedTasks	netstandard2.0	Cold	Once	multiple	no tailcalls	implicit	implicit	Yes	Yes

¹ - Computation Expression
² - Which Nuget package do they come from
³ - Which Target Framework Moniker these are available in
⁴ - Hot refers to the asynchronous code block already been started and will eventually produce a value. Cold refers to the asynchronous code block that is not started and must be started explicitly by caller code. See F# Async Tutorial and Asynchronous C# and F# (II.): How do they differ? for more info.
⁵ - ValueTask Awaiting patterns
⁶ - Multi-start refers to being able to start the asynchronous code block again. See FAQ on Task Start for more info.
⁷ - Allows use of let rec with the computation expression. See Tail call Recursion for more info.
⁸ - CancellationToken is propagated to all types the support implicit CancellatationToken passing. Calling cancellableTask { ... } nested inside async { ... } (or any of those combinations) will use the CancellationToken from when the code was started.
⁹ - Cancellation will be checked before binds and runs.
¹⁰ - Allows parallel execution of the asynchronous code using the Applicative Syntax in computation expressions.
¹¹ - Allows use of IAsyncDisposable with the computation expression. See IAsyncDisposable for more info.