úÎ#Xî(c) 2019-2020 Dmitrii KovanikovMPL-2.0'Dmitrii Kovanikov <kovanikov@gmail.com>None"#%,-./17DHMPUVX_kntype-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  "type-errors-pretty-0.0.1.1-inplaceType.Errors.Prettybase GHC.TypeLits TypeErrorToErrorMessage•%⊕<> ErrorMessage