https://www.ludd.ltu.se/~vk/pics/ascii/junkyard/techstuff/tutorials/Joan_Stark.html
·····┌────>
·····│▓▓░
┌────┘▓▓▓
│▓░░░░▓▓▓
│▓░░░▓▓▓▓
─┘▓░░▓▓▓▓▓
▓▓░▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓
from https://www.reddit.com/r/haskell/comments/6s5uh0/programming_as_if_the_domain_mattered/dlbe61d/