never executed always true always false

    1 module HelVM.HelMA.Automata.Piet.Types.Extra where
    2 
    3 import           HelVM.HelIO.SwitchEnum
    4 
    5 change :: (Bounded e, Enum e, Enum a) => Int -> Int -> a -> e
    6 change i n e = unsafeEnum $ (fromEnum e + n) `mod` i
    7 
    8 changeDiff :: (Bounded e, Enum e) => Int -> e -> e -> e
    9 changeDiff i e1 e2 = unsafeEnum $ (fromEnum e2 - fromEnum e1) `mod` i