Re: [Haskell-cafe] Rigid types fun

Hi! On Fri, Nov 5, 2010 at 4:01 PM, Tillmann Rendel wrote:

Note that newNerve does not take Axons, but rather monadic actions which create Axons. Now, you can use something like

 nerve <- newNerve newAxon newAxonAny

to create a concrete nerve.

Thanks! I decided for this approach. It seems to me the nicest. Simple and allows me to later redefine Nerve and Axon without breaking stuff around. Mitar