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

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

module T6044 where

type family Foo (a :: k) :: Maybe k
type instance Foo a = Just a