úÎ! C¡ Trustworthyu these-opticsAn  of the first half of a .over here show (That 1)That 1over here show (These 'a' 2) These "'a'" 2 these-opticsAn  of the second half of a .over there show (That 1)That "1"over there show (These 'a' 2) These 'a' "2" these-opticsA  selecting the   constructor.Note: cannot change type. these-opticsA  selecting the   constructor.Note: cannot change type. these-opticsA  selecting the  constructor.  names are ridiculous!Note: cannot change type.      %these-optics-1-8UgXoqYOJ8A80u6j4TH2vDData.These.Opticsherethere_This_That_These$fSwappedThese&optics-core-0.1-KtEG5c7xngP9iYSc6cGk4vOptics.AffineTraversalAffineTraversal"these-1.0.1-GvzcZVgBXAkJ8JFEolgurY Data.TheseThese Optics.PrismPrism'ThisThat