Archived tweet #6862 from the @leastfixedpoint Twitter Archive

@lojikil Error case for sure. '< and '> are *binary* relations, and non-monoidal. Their N-ary extension is a grody syntactic hack :-)