module type SOMETHING = Monad.OPTION
- as [[I directed you elsewhere|/topics/week9_using_the_monad_library]], you can instead just type:
+ as [[I directed you elsewhere|/topics/week9_using_the_monad_library/#index1h2]], you can instead just type:
#show Monad.OPTION