Agda.TypeChecking.Telescope
renameP
renaming
renamingR
flattenTel
reorderTel
reorderTel_
unflattenTel
teleNames
teleArgNames
teleArgs
data SplitTel
splitTelescope
telView
telViewUpTo
piApplyM