ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/T10534a.hs

{-# LANGUAGE TypeFamilies, FlexibleContexts #-}

module T10534a where

import Data.Coerce

data family DF a

silly :: Coercible (DF a) (DF b) => a -> b
silly = coerce