GPipe-2.2: Typesafe functional GPU graphics programming