For God sake generics is just a function over types. Use () like Haskell do.