path: root/testsuite/tests/polykinds/T6054.hs

{-# LANGUAGE FlexibleContexts, DataKinds #-}

module T6054 where

import T6054a

foo = print (Proxy :: Bar '() a => Proxy a)