package Ġcom . github . fs bar ata . functional . data . compose Ċ Ċ import Ġcom . github . fs bar ata . functional . control . Applic ative L aws Ċ import Ġcom . github . fs bar ata . functional . data . Functor Ċ import Ġcom . github . fs bar ata . functional . data . list .* Ċ Ċ class ĠComp osed Applic ative Test : ĠApplic ative L aws < Compose Context < List Context , ĠNon Empty Context >> Ġ{ Ċ ĉ override Ġval Ġapplic ative Scope Ġ= ĠComp osed Applic ative . Scope ( List F , ĠNon Empty List ) ĊĊ ĉ override Ġval Ġpossib ilities : ĠInt Ġ= Ġ 1 0 Ċ ĉ override Ġfun Ġfactory ( poss ibility : ĠInt ): ĠFun ctor < Compose Context < List Context , ĠNon Empty Context >, ĠInt > Ġ= Ċĉ ĉ Comp osed Applic ative ( Ċĉĉ ĉ create List ( poss ibility ) Ċĉĉĉ ĉ . map Ġ{ Ġcreate N el ( it ) Ġ}, Ċĉĉ ĉ List F , Ċĉĉ ĉ Non Empty List Ċĉ ĉ ) Ċ } Ċ