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