Remove superfluous Maybe wrapper from Hole's Inferred