import ../sibling/lib.bend as L def foo(U: Type) -> Type: L.bar(U)