Post #4187986

@typeswitch@gamedev.lgbt this *feels* similar to the quadrilateral - rectangle - square class hierarchy problem. A lot of these things are not obvious and it can be quite challenging to explain the nuance between those. Not sure if trying to talk in terms of super types or going straight to dependent types would help :/