add contract for Async-ChannelTop type