path: root/testsuite/tests/typecheck/should_fail/T22924a.hs

module T22924a where

import Data.Coerce

newtype R = MkR [R]

f :: a -> [R]
-- Should give a civilised error
f = coerce