Agda.TypeChecking.Rules.Display
checkDisplayPragma