Test.StateMachine.Types.HFunctor.TH
deriveHClasses
deriveHTraversable
mkhtraverse
deriveHFoldable
mkhfoldMap
deriveHFunctor
mkhfmap