path: root/testsuite/tests/ghc-regress/typecheck/should_compile/tc234.hs

{-# OPTIONS_GHC -XLiberalTypeSynonyms #-}

module ShouldCompile where

type T a b = a
type S m   = m ()

f :: S (T Int)
f = undefined