Add array class
Make continuation monad generic