Hi This is a typo - caused in the translation to HTML: type BellMachine = Event () -> Event () A Bell Machine is a function from Event to Event. Representing state machines as functions from their input to their output is quite a common pattern in Haskell. Best wishes Stephen