look up the new kinds of constructors generated by purescript to get property names