1{-# LANGUAGE TypeFamilies #-} 2 3type family Yo where 4 Yo = Bool 5 6test :: Yo -> Int 7test False = _w0 8test True = _w1 9 10