Documentation

>>> :{
  -- Multiplication
  f1 :: (MEuclidean g) => g -> g
  f1 x = x .*. x
:}

>>> f1 5
25

>>> :{
  -- One
  f2 :: (MEuclidean g) => g -> g
  f2 x = x .*. one
:}

>>> f2 5
5

>>> :{
  -- Division
  f3 :: (MEuclidean g, Num g) => g -> g
  f3 x = x .%. 2
:}

>>> f3 6
3

>>> :{
  -- Subtraction
  f4 :: (MEuclidean g, Num g) => g -> (g, g)
  f4 x = x `mdivMod` 4
:}

>>> f4 9
(2,1)