Show.fm

Show: (x: String) -> Type
  (x)
  show<P: (x: String) -> Show(x) -> Type> ->
  (msg: (x: String) -> P(x)(Show.msg(x))) ->
  P(x)(show)

Show.msg: (x: String) -> Show(x)
  (x)
  <P> (msg) msg(x)