hoge concat :: [[a] -> a]

hogeのソースコードの中にデータコンストラクタはない
concatは呼び出されない
hoge _ = ⊥