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