On 2013-09-27 23:41, Bardur Arantsson wrote: > This kind of makes me wish there was an Up newtype. Before somebody suggests renaming Identity, let's stop the bikeshedding and push this trivial change? David