1 2 3 4 5
{-# LANGUAGE TypeFamilies #-} module T5306a( F(..) ) where import T5306b data instance F Bool = FBool