{-# LANGUAGE TypeFamilies #-}
module T11062a where
import {-# SOURCE #-} T11062
type instance F Int = Bool