1 2 3 4 5 6 7 8 9
{-# LANGUAGE TemplateHaskell, TypeFamilies #-} module Main where data family F a data instance F () = C () $( const mempty C )