lex-ness can be a typeclass, not a module type
WIP: fracture theorem