GPipe-2.0: Typesafe functional GPU graphics programming