Hey all,
I’ve written a blogpost about the defunctionalization refactoring in Elm.
Maybe you’ve recently learned about the concept (it’s been on HackerNews last week IIRC), maybe you don’t know what it is - this blogpost is for you! Knowing the pattern has helped me bypass troubles with type parameters - I tried to convey the story of that here:
http://martin.janiczek.cz/clanek/defunctionalization-in-elm/