Sup

constructor(value: () -> A_Type)