Mulgen

as per #54 

This is not necessary; a concrete type is assignable to a satisfied interface implicitly.