brittany/data/Test212.hs

{-# language TypeFamilies #-}
data family F a
data instance F Int = D Int