haskell-tools-refactor-0.5.0.0: examples/Type/TypeOperators.hs
{-# LANGUAGE TypeOperators #-}
module Type.TypeOperators where
infixr 6 :+:
data a :+: r = a :+: r
type X = Int :+: Char :+: String
type (:&:) = (,)
infixr :&:{-# LANGUAGE TypeOperators #-}
module Type.TypeOperators where
infixr 6 :+:
data a :+: r = a :+: r
type X = Int :+: Char :+: String
type (:&:) = (,)
infixr :&: