Made type signatures crisper in Unchecked.