Merging typed structs with FP-TS

Question

When using FP-TS I often end up with structs being inside a Task or an IO. I managed to solve the problem by writing a merge function and