Solution to some basic Idris exercises