Agda.TypeChecking.Telescope
data SplitTel