type family TupleL t ts where
Tuple t '[] = t
Tuple t (t' ': ts) = TupleL (t, t') ts
みたいに定義すると、
(((((a, b), c), d), e), f)
が
TupleL a '[b, c, d, e, f]
みたいになるので、これなら複数行にしたときも、まあまあきれいに書けるかな。
Discussion
Testing zaps for this note… we made six attempts to⚡zap this note, at yoshikunijujo@yoshikunijujo.github.io, over a period of about 2 hours. In each case, we found that your lightning address server did not respond correctly. You might want to look into using a cloud-based Lightning node which is optimized for Nostr zaps, to get your zaps working.