In this case, the `noSideEffect` is for the code block not for the types defined
- Function type check of generic function giaco
- Function type check of generic function giaco
- Function type check of generic function giaco
- Function type check of generic function ynfle
