Lava.Property
data Gen a
class ChoiceWithSig a
class Fresh a
class CoFresh a
data Property
class Checkable a
class ShowModel a
type Model