Using a number of newer language features in Scala it's possible to implement a composable component system and create components using the so called Cake Pattern, described by Martin Odersky in the paper Scalable Component Abstractions and also in a recent talk. Several of the Scala features used in the Cake Pattern have corresponding Haskell features. For example, Scala implicits correspond to H