testTypes :: TypeMap
testTypes = TypeMap {
              this = clsType (Ident "This"),
              fields = Map.empty,
              methods = Map.fromList 
                         [((nam "foo", [intT]), fooInfo)],
              constrs = Map.fromList
                         [((TcClassT [(Ident "Foo", [])], []), cInfo1),
                          ((TcClassT [(Ident "Foo", [])], [intT]), cInfo2)],
              locks = Map.fromList [(nam "L", lInfo)],
              policies = Map.empty,
              typemethods = Map.empty,
              types = Map.empty
            }
testTypes :: TypeMap
testTypes = TypeMap {
              this = clsType (Ident "This"),
              fields = Map.empty,
              methods = Map.fromList 
                         [((nam "foo", [intT]), fooInfo)],
              constrs = Map.fromList
                         [((TcClassT [(Ident "Foo", [])], []), cInfo1),
                          ((TcClassT [(Ident "Foo", [])], [intT]), cInfo2)],
              locks = Map.fromList [(nam "L", lInfo)],
              policies = Map.empty,
              typemethods = Map.empty,
              types = Map.empty
            }
testTypes = TypeMap {
              this = clsType (Ident "This"),
              fields = Map.empty,
              methods = Map.fromList 
                         [((nam "foo", [intT]), fooInfo)],
              constrs = Map.fromList
                         [((TcClassT [(Ident "Foo", [])], []), cInfo1),
                          ((TcClassT [(Ident "Foo", [])], [intT]), cInfo2)],
              locks = Map.fromList [(nam "L", lInfo)],
              policies = Map.empty,
              typemethods = Map.empty,
              types = Map.empty
            }