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