Examples of using the Idris Protocols package for stuff.