module Eg (Foo'(Bar'), (:->)) where

data Foo' = Bar' Int Int

infix 4 Bar' as :->