Add kind signature to class variable

Otherwise GHC cannot properly unify kinds (I presume) and produces uttery
unhelpful error message
Write explicit type signatures

GHC 7.8 cannot infer correct type otherwise
Allow any proxy type