1 2 3 4 5 6
{-# LANGUAGE FlexibleContexts #-} module T17955 where import Data.Coerce newtype T = Coercible () T => T ()