path: root/testsuite/tests/indexed-types/should_fail/T2157.hs

{-# LANGUAGE TypeFamilies, LiberalTypeSynonyms #-}

module T2157 where

type S a b = a
type family F a :: * -> *
type instance F a = S a