Add convenience function to parse and show Idris jsonspam