1-module(same_type).
2
3-export([t/2]).
4
5-export_type([st/1]).
6
7%% When unopaqued all specializations of st/1 are equal.
8-opaque st(_A) :: {st, tuple()}.
9
10-spec t(_, st(_)) -> _.
11
12t(K, V) ->
13    {K, V}.
14