Agda.TypeChecking.ProjectionLike
data ProjectionView
unProjView
projView
reduceProjectionLike
elimView
eligibleForProjectionLike
makeProjection