# 25 Composing Types

## 25.4 Twinplicative

see [src/gotcha.hs](./src/gotcha.hs)

## 25.6 Compose Instances

- see [src/gotcha.hs](./src/gotcha.hs)
- see [src/bifunctor.hs](./src/bifunctor.hs)