Getting a List of Keys from a HashMap as a Type - Effect Community