1 2 3 4 5 6 7
{-# LANGUAGE MultiParamTypeClasses #-} import Data.Coerce (Coercible) instance Coercible () () main = return ()