On Thu, May 19, 2011 at 11:03, michael rice <nowgate at yahoo.com> wrote: > type GeneratorState = (Map Prefix [String],Prefix,[String]) > buildMap :: GeneratorState (Map Prefix [String]) You are trying to use a type alias (GeneratorState) as a type constructor. There may be other problems, but that leaps out.