introduce >>= on Maybe to improve readability
-rw-r--r-- 11 .gitignore
-rw-r--r-- 4379 Bidir.agda