1 2 3 4 5 6
{-# LANGUAGE TypeFamilies #-} module T8469a () where type family F a type instance F Int = Bool