Music.Theory.Z12
data Z12
z12_modulo
z12_showsPrec
lift_unary_Z12
lift_binary_Z12
check_negative
to_Z12
from_Z12
complement