VisibleQuantificationCheckFailureInType Error

Cause

Kinds are annotated in such a way that they require a visible dependent quantifier.

Fix

• Visible dependent quantification is not supported.