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

{-# LANGUAGE TypeFamilies, PolyKinds, DataKinds, UndecidableInstances #-}

module T11255 where

type family Default :: k
type instance Default = '(Default, Default)