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