Comment by devdoomari

um... use dependent types? sorry but I'm from different language background :(