WIP Lax Comma Category