data TileMap = TM_9800 | TM_9C00
data TileData = TD_8000 | TD_8800
data ObjectSize = OS_8 | OS_16

data LCDC :: Bool -> TileMap -> Bool -> TileMap -> TileData -> ObjectSize -> Bool -> Bool -> * where
    LCDCEmpty :: LCDC lo wa wo ba t os oo bo
    LCDCPlus :: LCDC lo wa wo ba t os oo bo -> LCDC lo wa wo ba t os oo bo -> LCDC lo wa wo ba t os oo bo

    LCDOff :: LCDC False wa wo ba t os oo bo
    LCDOn :: LCDC True wa wo ba t os oo bo

    Win9800 :: LCDC lo TM_9800 wo ba t os oo bo
    Win9C00 :: LCDC lo TM_9C00 wo ba t os oo bo

    WinOff :: LCDC lo wa False ba t os oo bo
    WinOn :: LCDC lo wa True ba t os oo bo

    BG9800 :: LCDC lo wa wo TM_9800 t os oo bo
    BG9C00 :: LCDC lo wa wo TM_9C00 t os oo bo

    Tile8000 :: LCDC lo wa wo ba TD_8000 os oo bo
    Tile8800 :: LCDC lo wa wo ba TD_8800 os oo bo

    Object8 :: LCDC lo wa wo ba t OS_8 oo bo
    Object16 :: LCDC lo wa wo ba t OS_16 oo bo

    ObjectOff :: LCDC lo wa wo ba t os False bo
    ObjectOn :: LCDC lo wa wo ba t os True bo

    BGOff :: LCDC lo wa wo ba t os oo False
    BGOn :: LCDC lo wa wo ba t os oo True

instance Monoid (LCDC lo wa wo ba t os oo bo) where
    mempty = LCDCEmpty
    mappend = LCDCPlus