GPipe-2.1.5: Typesafe functional GPU graphics programming