Would you be willing to write a post that explains how you replaced the different functional and type level patterns? I think it would be nice to see 'plain sca

Would you be willing to write a post that explains how you replaced the different functional and type level patterns? I think it would be nice to see 'plain scala' and 'scalaz/shapeless' versions next to each other.