-- | Return labels corresponding to list of states
labels :: (Ord q) => [q] -> NBA q a l -> [l]
labels qs a = [label q a | q <- qs]
labels :: (Ord q) => [q] -> NBA q a l -> [l]
labels qs a = [label q a | q <- qs]
labels qs a = [label q a | q <- qs]