{-# LANGUAGE TypeFamilies #-}

class MapType v where
        type Key v :: *
        type Key v = TileKey v
        type Source v :: *