Merge branch 'monad-transformers' into maint-2.4.0
Fixed \top vs Unit issue