Serv.Internal.Rec

data Rec rs

(-:)

class Elem name e es

class Subset rs qs

class RecordIso rs qs