https://tutorial-idris.blogspot.com/2019/02/review-l1-r1-mechanical-trigger-v-20.html