support (hoge (Just "a"))
avoid tuple
support Cons and Nil
refactor Translate module