"not impossible: a pure-hybrid where procedures and functions are separate types and functions may not have SideEffects (DeeLanguage allows kind of this)." . . . . .