I've read that the position of g :: A -> B and f :: B -> C, pronounced (“f posed of g”), res