úÎ ƒ?     DTwo functions with a missing "link" to be completed at a later time.(c) 2016 Alex CroughBSD2alex@crough.io Experimental'RankNTypes, TupleSection, TypeOperatorsSafeFIKLN A 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.6Apply an argument to an arrow and close off the input.8The simplest elision, effectively the identity function.GCreate an elision out of two functions to be completed at a later date.>Create an elision chained to the end of the provided function.DCreate an elision chained to the beginning of the provided function./Create an elision with the input fully applied.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.&This is analogous to a lifted '(>>>)'.ESend the output of the right to the input of the left, and add their f types together.&This is analogous to a lifted '(>>>)'. !"#$%&'()*+ #    !"#$%&'()*+ ,      !"#$%&'()*+,-.elisi_DoBEzL9hrW3A8AnOcyVvrlControl.Arrow.Elisionbase Control.Arrow|||^<<<<^>>^^>>&&&***Arrow+++ ArrowChoice ArrowApplyControl.Category<<<//SumElision'Elisionunelideunelide'complete complete'applybasicelideafterbeforeterminalleft'right'/>><