È possibile utilizzare i sinonimi di tipo come argomenti del costruttore di tipi di trasformatori di monad? In particolare, se esiste un sinonimo di tipo unario per un trasformatore monade applicato,
Finalmente ho imparato come usare le monadi (non so se le capisco ...), ma il mio codice non è mai molto elegante. Immagino sia da una mancanza di presa su come tutte quelle funzioni su Control.Monad
In particolare, devo essere in grado di combinare il monad CGI con la monade IO, ma un esempio di come combinare la monade IO con la Forse monad potrebbe essere ancora meglio ...