Îõ³h$ ¶      None ËIPv6Addr;A four hexadecimal digits group representing a 16-Bit chunkIPv6AddrAn all zeros 16-Bit chunkIPv6Addr!A separator between 16-Bit chunksIPv6AddrÐA double-colon stands for a unique compression of many consecutive 16-Bit chunksIPv6Addr=An embedded IPv4 address as representation of the last 32-Bit IPv6AddrReturns ) the text representation of a canonized # in conformation with RFC 5952, or  . ÍmaybeIPv6Addr "0:0::FFFF:192.0.2.128" == Just (IPv6Addr "::ffff:192.0.2.128") IPv6AddrReturns  a pure , or  . ËmaybePureIPv6Addr "::ffff:192.0.2.128" == Just (IPv6Addr "::ffff:c000:280") IPv6AddrReturns  a pure and fully expanded , or  . ãmaybeFullIPv6Addr "::ffff:192.0.2.128" == Just (IPv6Addr "0000:0000:0000:0000:0000:ffff:c000:0280") IPv6AddrReturns !Å if arguments are two textual representations of a same IPv6 address. IPv6AddræReturns the reverse lookup domain name corresponding of the given IPv6 address (RFC 3596 Section 2.5). ýtoIP6ARPA (IPv6Addr "4321:0:1:2:3:4:567:89ab") == "b.a.9.8.7.6.5.0.4.0.0.0.3.0.0.0.2.0.0.0.1.0.0.0.0.0.0.0.1.2.3.4.IP6.ARPA."IPv6Addr