Re: Proposal: Don't require users to use undefined

Small bit of bikeshed... Isn't Tagged also the so-called strip / stripping functor? a.k.a the opposite of the Const functor. Personally I'd prefer the name Strip. To me, the name Tagged is suggestive of adding something to a data type. I suppose it is adding something to a type constructor, but I'd still vote for Strip as it seems more "twinned" with Const.