All types compile, but we haven't tested them out yet.