{-# LANGUAGE UnboxedSums #-} module Foo (( #<| )) where ( #<| ) :: Int -> Int -> Int ( #<| ) = (+) (+) = (+)