Your assert
function results in a type of the form m ()
where m
is a Monad
. The best way to "do nothing" is therefore to just
return ()
For the second part of your question I can not really imagine what is wrong. Please arrange your github repo so that I could download it and try for myself. Also, give the compile command you use and the working directory.
(Btw, you should use a terminal emulator that can display Unicode.
Under Windows, try chcp 65001
)