package org.scribble.sesstype.kind; public interface ParamKind extends Kind { }