Adding missing import (ahoj, bifunctors!)