Fix indentation, use monomorphic projections for pairs.