Data.Monoid.First

First

type First a

getFirst

First'

data First' n a

getFirst'