brittany-0.14.0.0: data/Test217.hs

{-# language TypeFamilies #-}
module M where
class C a where
  type family F a
instance C Int where
  type F Int = IO Int