“Could not load module `Control.Monad.Trans.Maybe'” while trying to install Agda 2.6.1.2

Question

I\'m trying to install Agda 2.6.1.2 by following the instructions in the docs, but when running the command cabal install Agda I\'m receiving the following error: