summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T8563.hs
blob: 659a2554f5ee721a38163c55d103626236c8f960 (plain)
1
2
3
4
{-# LANGUAGE PolyKinds #-}
module Tagged where

newtype Tagged s b = Tagged b deriving Eq