{-# LANGUAGE TypeFamilies #-}
module T8002 where

import T8002a