1 2 3 4 5
{-# LANGUAGE TypeFamilies #-} module T19688 where data family D (a :: k) data instance D Int = DInt