hsargs = inports ++ [state]
hsres = case splitTupleType res_ty of
-- Result type must be a two tuple (state, ports)
Just [outstate_ty, outport_ty] -> if Type.coreEqType state_ty outstate_ty
then
hsargs = inports ++ [state]
hsres = case splitTupleType res_ty of
-- Result type must be a two tuple (state, ports)
Just [outstate_ty, outport_ty] -> if Type.coreEqType state_ty outstate_ty
then