let
modulo a b = bin_op a
`
Mod
b