Send a message to bay_agda