brittany/data/Test206.hs

{-# language TypeFamilies #-}
type family F a
type instance F Int = IO Int