Agda.TypeChecking.ProjectionLike

makeProjection