Some examples on types