ForSyDe.System
data SysDef a
class SysFun f
class SysFunToSimFun sysFun simFun
class SysFunToIOSimFun sysFun simFun