Tests for Trias behaviour with abstract types