An example of using PureScript 0.12 (RC) instance chains to have recursively matching type classes using instance chains.