Understanding HKT in Effect-ts: Exploring the Purpose of the "else" Part and Thunk Types - Effect Community