return b >>= \y -> return (x:y)
y sabés que
y :: [t1]...
Tenés esta expresión:
y sabés que
y sabés que