{x: sometype -> x.otherType}

# announcements

[abe]

{x: sometype -> x.otherType}