One example would be a language to deal with TLV data, like ASN.1 DER (e.g. TLS certificates). Currently most TLS libraries use C, which is insane, but in principle, you don&#x27;t even need recursion to parse DER data; so even vanilla Haskell is overpowered for the purpose.