a canvas thing in idris