Example of type families with concrete types that do not have `NFData` instances since they are not required by their `*Algorithm` type class: * `CertVRF` * `VerKeyVRF` * `SignKeyVRF` * maybe more