Design pattern in pure functional programming.