StarSemiring

class Semiring a

class StarSemiring a

class KleeneAlgebra a

data StarSemiringExpr a

data RE a

re

data Tropical a

data ShortestPath a b

extract

data Language a

letter

someWord

evalRE

data Compact a

evalSSE

todo