haskell-tools-refactor-1.0.1.1: examples/Decl/CtorOp.hs

{-# LANGUAGE TypeOperators #-}
module Decl.CtorOp where

data a :+: b = a :+: b

data (a :!: b) c = a c :!: b c

data ((:-:) a) b = a :-: b

data (:*:) a b = a :*: b