Unfinished raytracer in Idris for use in testing compiler optimizations