squashing redundant uncertainty in Aeson