D.Prelude: export Diagrams.Tangent