module Infix where

data Foo = Int :-> Char deriving ()