ghc-exactprint-0.6.1: tests/examples/ghc88/StarBinder.hs
{-# LANGUAGE TypeOperators, TypeFamilies #-}
{-# OPTIONS -Wno-star-is-type #-}
module X (type (X.*)) where
type family (*) a b where { (*) a b = Either b a }
{-# LANGUAGE TypeOperators, TypeFamilies #-}
{-# OPTIONS -Wno-star-is-type #-}
module X (type (X.*)) where
type family (*) a b where { (*) a b = Either b a }