{-# LANGUAGE TypeFamilies #-}
module T5306a( F(..) ) where
import T5306b

data instance F Bool = FBool