data Offset
data Rigid
data Flex
data SizeExpr' rigid flex
type SizeExpr
data Cmp
data Constraint' rigid flex
type Constraint
data Polarity
data PolarityAssignment flex
type Polarities flex
type Solution rigid flex
class Substitute r f a
type CTrans r f
class ValidOffset a
class TruncateOffset a
class Rigids r a
class Flexs flex a