Type Alias StructReturns<F, S, E, R, I>

StructReturns: {
[K in keyof S]: S[K] extends Algebra<F, infer A, E, R, I> ? A : never
}