1 2 3 4 5 6 7 8 9 10 11
module Config where type Config = White | Black otherConfig : Config -> Config otherConfig config = case config of White -> Black Black -> White