Data.Biapplicative
class Biapplicative p
(<<$>>)
(<<**>>)
biliftA3
traverseBia
sequenceBia
traverseBiaWith