updated examples
tempate haskell works on star parameters