A raytracer implemented in Idris