Data.Modular

unMod

toMod

toMod'

data Mod i n

inv

type (/)

type ℤ

modVal

data SomeMod i

someModVal