Trying to detect effect summary from "canonical" declaration for checking effects