1 2 3 4 5
{-# LANGUAGE TypeFamilies #-} module T5306b where data family F a data instance F Int = FInt