mod :: Integral a => a -> a -> a -> a

Takes two arguments a,b and returns a mod b

mod a b