-- Kind error message test

module ShouldFail where

type IntMap a = [a]
 
data SymDict a = SymDict {idcounter:: Int, itot::IntMap a}

data SymTable = SymTable {  dict::SymDict   }
