úÎ! ²None"#%,-./17DHMPUVX_k 2type-errors-pretty#Type family to convert any type to .type-errors-prettyUnicode version of the  type-level operator.type-errors-prettyUAppend two types on top of each other automatically converting them to corresponding  constructors.5:kind! "Expecting value of type: " % " " <> Integer>"Expecting value of type: " % " " <> Integer :: ErrorMessage#= 'Text "Expecting value of type: "- ':$$: ('Text " " ':<>: 'ShowType Integer)type-errors-prettyUnicode version of the  type-level operator.type-errors-pretty@Append two types automatically converting them to corresponding  constructors.*:kind! "Integer values have type: " <> Int3"Integer values have type: " <> Int :: ErrorMessage8= 'Text "Integer values have type: " ':<>: 'ShowType Int4455  1type-errors-pretty-0.0.1.0-I4ewsWHyuVUEfpwMNONdUsType.Errors.Prettybase GHC.TypeLits TypeErrorToErrorMessage•%⊕<> ErrorMessage