Question on style - Implicit parameters

[Jorge Adriano]

> ---------
> step :: Inst-> Train->Inst
> step inst train =3D changeInst deltaW deltaV inst
>  where
>  deltaW =3D someSemiConst1 with ?inst=3Dinst; ?train train
>  deltaV =3D someSemiConst2 with ?inst=3Dinst; ?train train
> ---------

ok I got it this is enough...
> step :: Inst-> Train->Inst
> step inst train =3D changeInst deltaW deltaV inst
>                   with ?inst=3Dinst; ?train train


I was complicating things
J.A.