
30 May
2018
30 May
'18
4:24 p.m.
Thanks to Lennart, Matt, Douglas and Sven for the links to the intetesting posts. Once you know it, the higher-kinded approach seems a natural solution to the problem at hand. I might even begin to like type families on account of their ability to eliminate the Identity constructor in `Option Identity`. I shall re-work my option parser type class an see how much easier it gets. Olaf