Merge (@@@) and (@@)

Note that we need to give a type signature when applying @@ to a numeral, ie "e @@ (0 :: Int)"