module ComonadExtensions = (C: BsBastet.Interface.COMONAD) => {};

module ComonadInfix = (C: BsBastet.Interface.COMONAD) => {};