úÎïC     DTwo functions with a missing "link" to be completed at a later time.(c) 2016 Alex CroughBSD2alex@crough.io Experimental'RankNTypes, TupleSection, TypeOperatorsSafeLOQRTA type synonym for  to create harmony with the  function.Either f a or g a.(The type of the simplist elision, where unelide eli f = f@A lens-esque type that can be used to "skip" part of a function.An ? can be used in the common interpreter pattern, in which case f represents the DSL type, a( represents the input of a function and b represents the output.Use  or  to deconstruct the type.1Deconstruct an Elision, returning its inner type.Like 8, but applies the unit type to the function immediately.OConstruct an interpreter for an elision out of a function an initial argument.Like -, but the unit type never has to be provided.8The simplest elision, effectively the identity function. (Apply a value to an elision immediately. GCreate an elision out of two functions to be completed at a later date. vCreate a function that can complete an elision of a sum out of two functions that can complete each individual parts. Like #, but over the first type argument. Like #, but over the first type argument.ASend the output of the left to the input of right, and add their f types together.ESend the output of the right to the input of the left, and add their f types together. ) !"#$%&'()*+,-./0123    4      !"#$%&'()*+,-./0/12342352362378&elision-0.1.0.2-F9DoOTAbii1F6w1cmm2fmiControl.Arrow.Elision//SumElision'Elisionunelideunelide'complete complete'simpleinitialelideleft'right'/>>^^>>Arrowarrfirstsecond***&&& ArrowChoice|||+++ ArrowApplyapp ArrowMonadControl.Category>>><<<&profunctors-5.2-Ftt6hTaJPG87FS5uAEIZltData.Profunctor.Unsafe Profunctordimaplmaprmap