Notes (HPFP 25/31): Composing types

25 Composing types

25.4 Twinplicative

see Twinplicative.hs

25.6 Compose Instances

  1. see Twinplicative.hs
  2. see Twinplicative.hs

And now for something completely different

see Bifunctor.hs

25.8 IdentityT

see IdentityT.hs