TotalMap-0.1.0.0: A total map datatype

Provides a datatype representing a total map using an enum type as keys