a~>Inp?
b~>Inp?
l->l?
b?::a?::l?
