Graphics.Rendering.Diagrams.MList
data Nil
data a ::: l
class MList l
type family Tuple l :: *
class ToTuple l
class l :>: a
data SM m