bavumye imana n'ababyaye mu gukumira urujya n uruza rw abana guhunga inkende ziganira mu cyunamo in haskell this limitation is enforced at compile time by the type system