[Haskell-cafe] Rigid types fun

[Mitar]

Hi!

On Fri, Nov 5, 2010 at 4:01 PM, Tillmann Rendel
<rendel at informatik.uni-marburg.de> 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