Îõ³h&|X=(c) 2019-2020 Dmitrii Kovanikov (c) 2020 KowainikMPL-2.0ÒDmitrii Kovanikov Kowainik None #$&-./028ÅÉÎÑÖ×Ùàì0type-errors-pretty#Type family to convert any type to .type-errors-prettyUnicode version of the  type-level operator.type-errors-prettyÕAppend 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  "type-errors-pretty-0.0.1.2-inplaceType.Errors.Prettybase GHC.TypeLits TypeErrorToErrorMessage•%⊕<> ErrorMessage