Ask HN: Distance undergrad or “reputable MOOC” for Haskell/Idris/etc?

As a 33 year old self-taught programmer working in the field for about 15 years professionally and non-professionally since childhood, I want to go deeper into purely functional languages.

I like types but not necessarily being super pedantic, am generally lazy. Python was my first real workhorse language and that was great for many years, and I've mostly being writing functional-style JS backend stuff for the last few years. I've enjoyed playing with LISPs a bit as well as logic programming via core.logic in Clojure.

Having checked out some of the options at universities in Canada it seems all are in Java for undergrad CS. Nothing wrong with that I guess, but it's not for me. Are there any great online courses, paid or otherwise, that you'd recommend with a focus on functional PL stuff in particular?