module T17871 where

import T17871a

instance C ()