-- Import this module and use with the RebindableSyntax Language extension
(+) :: DSL repr => repr Int -> repr Int -> repr Int
m + n = plus m n
(+) :: DSL repr => repr Int -> repr Int -> repr Int
m + n = plus m n
m + n = plus m n