Savage

type Gen

data GenT m a

class MonadGen m

data Range a

data Size

data Seed

class Distributive g