Monadは表現できないっぽいですね、あくまでArrayかLazyかを明記するためのものに感じる