Hi Siang! Thank you for being here and introducing yourself. I am also learning category theory but am unfamiliar with functional programming. So I appreciate your perspective as you study and think out loud. I am currently trying to understand connections between category theory and computation and then relate that to my philosophical work.