Data.Machine.Type

Machines

data MachineT m k o

data Step k o r

type Machine k o

Building machines from plans

Deconstructing machines back into plans

Reshaping machines

Applicative Machines

class Appliance k