no longer necessary now that Category is polykinded
match 2-space indentation elsewhere