let concretizeType (funcInterface : Type) ilType =
    let rec getType ilType =
        let createIFunc inType outType = funcInterface.MakeGenericType([| inType; outType |])
        match ilType with
        | ILInt -> typeof<int>
        | ILBool -> typeof<bool>
        | ILFunc(inputIlType, outputIlType) ->
        createIFunc (getType inputIlType) (getType outputIlType)
    getType ilType