Following Idris tutorial, also playing around.