fetch
A DataSource is the recipe for fetching a certain identity I, which yields results of type A with the concurrency and error handling specified by the Monad M.
DataSource
I
A
M
A
DataSource
is the recipe for fetching a certain identityI
, which yields results of typeA
with the concurrency and error handling specified by the MonadM
.