ForSyDe.Process
data ProcFun a
class ProcType a