Pattern matching on Type in Idris...

Trying to saveArray, got error - Cannot convert value of type '[Data]' to expected argument ...

Finding maximum value of a short int variable in C...