some deptyped something in haskell