Haskellのカスタム型エラー
from
Haskellの型
https://github.com/kowainik/type-errors-pretty
型エラーをきれいに書くライブラリ
https://kodimensional.dev/type-errors