{-# LANGUAGE NoImplicitPrelude #-}
module D where

import A
import C

typeRepX :: Fingerprint
typeRepX = mkTyConApp Fingerprint