Lightning Talk Slot #1: Signature Sections
summary
Proposes adding section syntax that lets (:: T) stand for \x -> x :: T so a type annotation can appear in the middle of a pipeline instead of using visible type application; shows concrete examples like show . (:: Int) . read and explains it unifies with p a so it serves as a lightweight proxy without imports; compares ergonomics to visible type applications and notes the limitation that it only works at of kind . An implementation patch exists.
AI-written summary · about