=<< package:Agda

Binary bind.