{-# LANGUAGE TypeOperators #-}
module AnnotationLet (foo) where

{
import qualified Data.List as DL
;
foo = let
        a 0 = 1
        a _ = 2
        b = 2
      in a b
;
infixr 8 +
;
data ((f + g)) a = InL (f a) | InR (g a)
;
}