Implemented first rough version of helper methods that throw runtime exceptions when things are not right
Dead end, because mkList in the helper trait cannot check forgeneric type in the match due to type erasure :(