package Ġio . kon ad . applic ative . builders Ċ Ċ import Ġio . kon ad . Maybe . Companion . maybe Ċ import Ġio . kon ad . cur ry Ċ import Ġio . kon ad . h kt . Applic ative Functor Kind Ċ import Ġio . kon ad . h kt . Functor Kind Ċ Ċ infix Ġfun Ġ< F , ĠT , ĠR > Ġ(( T ) Ġ-> ĠR ). on ( f : ĠFun ctor Kind < F , ĠT >): ĠFun ctor Kind < F , ĠR > Ġ= Ġf . map K ( this ) Ċ infix Ġfun Ġ< F , ĠT , ĠR > Ġ(( T ) Ġ-> ĠR ). on ( f : ĠApplic ative Functor Kind < F , ĠT >): ĠApplic ative Functor Kind < F , ĠR > Ġ= Ġf . ap Map K ( this ) Ċ infix Ġfun Ġ< F , ĠT , ĠR > ĠFun ctor Kind < F , Ġ(( T ) Ġ-> ĠR ) >. on ( f : ĠApplic ative Functor Kind < F , ĠT >): ĠApplic ative Functor Kind < F , ĠR > Ġ= Ġf . ap K ( this ) Ċ infix Ġfun Ġ< F , ĠT , ĠR > ĠFun ctor Kind < F , Ġ(( T ) Ġ-> ĠR ) >. on ( t : ĠT ): ĠFun ctor Kind < F , ĠR > Ġ= Ġmap K Ġ{ Ġit ( t ) Ġ} Ċ infix Ġfun Ġ< T , ĠR > Ġ(( T ) Ġ-> ĠR ). on ( t : ĠT ): ĠR Ġ= Ġthis ( t ) Ċ Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠRESULT > Ġ(( A , ĠB ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠRESULT > Ġ(( A , ĠB , ĠC ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , RESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠU , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠU ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠU , ĠV , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠU , ĠV ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< FU , ĠA , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠU , ĠV , ĠW , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠU , ĠV , ĠW ) Ġ-> ĠRESULT ). plus ( a : ĠFun ctor Kind < FU , ĠA >) Ġ= Ġcur ry (). on ( a ) Ċ Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠRESULT > Ġ(( A , ĠB ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠRESULT > Ġ(( A , ĠB , ĠC ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , RESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠU , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠU ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠU , ĠV , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠU , ĠV ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ infix Ġoperator Ġfun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠU , ĠV , ĠW , ĠRESULT > Ġ(( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠK , ĠL , ĠM , ĠN , ĠO , ĠP , ĠQ , ĠR , ĠS , ĠT , ĠU , ĠV , ĠW ) Ġ-> ĠRESULT ). plus ( a : ĠA ) Ġ= Ġcur ry (). on ( a ) Ċ