Stuff compiles but generic type args (of Foldable and List) are ugly. Classes will be refactored next in favor of simplicity.