1 2 3 4 5 6 7 8 9
{-# LANGUAGE TypeFamilies #-} module B where class Entity v where data Fields v -- Remove instance -- instance Show (Fields v) where show = undefined