haskell-tools-refactor-1.0.1.1: 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 :&: