module Lib where
-- covering sets: {{l, r}}
class C l r
data R