import from borel

See also https://github.com/anchor/borel/pull/92
Why is this a Maybe? @oswynb?