never executed always true always false

    1 module HelVM.HelMA.Automata.Piet.Types.CodelChooser
    2   ( CodelChooser (..)
    3   , nextChooser
    4   , toggle
    5   ) where
    6 
    7 import           HelVM.HelMA.Automata.Piet.Types.Extra
    8 
    9 nextChooser ∷ CodelChooser → CodelChooser
   10 nextChooser CCLeft  = CCRight
   11 nextChooser CCRight = CCLeft
   12 
   13 
   14 toggle ∷ Int → CodelChooser → CodelChooser
   15 toggle = change 2
   16 
   17 data CodelChooser
   18   = CCLeft
   19   | CCRight
   20   deriving stock (Bounded, Enum, Eq, Ord, Read, Show)