Lava.Generic
data Struct a
class Generic a
data Ops
class Constructive a
class FiniteSig a
class Finite a
class Choice a