allow no-definition constructors (like Nothing)