Agda.TypeChecking.ProjectionLike
makeProjection