Object as a Morphism Composable Structure Parameterized by Effects Fumiaki Kinoshita, Kazuhiko Yamamoto, 2015 To deal with states in a unified type, sum types or existential quantification are widely used in Haskell. However, they are intractable because they are not extensible in either data or operations. For this reason, Haskell has been considered inappropriate for domains involving complex st