A bunch of mini-games in Idris, using dependent types