We can create arbitrary type instances