Just some brainstorming on a categorical PL.