derived typable instances