GPipe-2.1: Typesafe functional GPU graphics programming