initialConcept :: (s -> Bool) -> Concept s e
initialConcept f = mempty { initial = f }
initialConcept :: (s -> Bool) -> Concept s e
initialConcept f = mempty { initial = f }
initialConcept f = mempty { initial = f }