1 2 3 4 5 6
{-# LANGUAGE TypeOperators, TypeFamilies #-} {-# OPTIONS -Wno-star-is-type #-} module X (type (X.*)) where type family (*) a b where { (*) a b = Either b a }