Fix a bug on function composition, Add a test

void -> T >> T -> void
Edit a test: positive/composition2.n