monadlib
type s