Extension.Data.Label

nthL

fstL

sndL

Labels and applicative functors

modA

Labels and Monads

askM

setM

getM

modM

(=:)