mostGeneralContinuationType

The most general continuation type. Since continuation types are contravariant by argument types and contravariant by return type, the most general type is the one taking bottom as the arguments list (i.e., not specific enough to be able to call it), and having the return type bottom.