Just to be totally explicit here, there are no FP languages that require learning category theory. There is no reason to conflate [a small subset of] research on programming languages with the practice of using those languages day-to-day to Actually Get Shit Done.