haskell-tools-builtin-refactorings-1.0.0.0: examples/Decl/InfixInstances.hs

{-# LANGUAGE TypeOperators, TypeFamilies #-}
module Decl.InfixInstances where

data Zipper h i a = Zipper
data (:@) a i
infixl 8 :>
type family (:>) h p
type instance h :> (a :@ i) = Zipper h i a