non-monadic skeleton