Haskell has section syntax as a shorthand for \x -> x # E and \x -> E # x as (# E) and (E #), respectively. This talk proposes to extend sections to allow writing \x -> x :: T as (:: T).