Skip to content

Add a couple of type elaborations #17

Add a couple of type elaborations

Add a couple of type elaborations #17