Data.Derive.DSL.HSE
sample
outEq
type Input
type Ctor
ctorIndex
toInput
type Out
data Output
toOutput
fromOutput
fromState