An EDSL for creating type-safe correct GPU programs.