law Bq.Pair.Pair
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
634law Bq.Pair.Pair:
635 (@-A_0: Data -> (@-B_1: (@-__1: A_0 -> Data) -> Data))
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
634law Bq.Pair.Pair:
635 (@-A_0: Data -> (@-B_1: (@-__1: A_0 -> Data) -> Data))