Combine Multiple State ADT Instances with the Same Input by Ian Hofmann-Hicks