remove use of FiniteMap, use Text.Printf