path: root/testsuite/tests/dependent/should_fail/T11334b.hs

{-# LANGUAGE DataKinds, NoPolyKinds #-}

module T11334b where

import Data.Functor.Compose
import Data.Proxy

p = Proxy :: Proxy 'Compose