Agda.TypeChecking.Forcing
addForcingAnnotations
class
ForcedVariables
a
force