moving towards more type safety