invariantConcept :: (s -> Bool) -> Concept s e
invariantConcept f = mempty { invariant = f }
invariantConcept :: (s -> Bool) -> Concept s e
invariantConcept f = mempty { invariant = f }
invariantConcept f = mempty { invariant = f }