fix polymorphism in Async type signature (how the hell were people using it before??)
fix memo type
Merge pull request #1832 from sledorze/master

Take account of polymorphism into Async signatures - was really missing..