{-# LANGUAGE TypeFamilies #-}
module Main (main) where

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