Agda.TypeChecking.MetaVars.Occurs
data OccursCtx
abort
class Occurs t
occursCheck
hasBadRigid
killArgs
killedType
performKill