haskell-tools-refactor-0.4.1.1: examples/Decl/ClosedTypeFamily.hs
{-# LANGUAGE TypeFamilies #-}
module Decl.ClosedTypeFamily where
type family F a where
F Int = Bool
F Bool = Char
F a = Bool{-# LANGUAGE TypeFamilies #-}
module Decl.ClosedTypeFamily where
type family F a where
F Int = Bool
F Bool = Char
F a = Bool