Type-Driven Development with Idris

Separate tags with commas, spaces are allowed.

Use tags to describe a product e.g. for a movie
Themes heist, drugs, kidnapping, coming of age
Genre drama, parody, sci-fi, comedy
Locations paris, submarine, new york